£24,000.00 GBP?

Yikes!
K bikes are incredibly cheap in the UK. Half the price of a decent airhead. A nice R90 can be had for around £3,500 to £5,000. R65s from £2,500 up now (for a slightly doggy one).
K75 & K100? £2,000.00 for lowish mileage and clean. £1,500.00 rideable but high mileage or grubby.
I sent the JPS pic to my friend who has "Airhead" written like a stick of rock in his neck and he was seriously drooling
Anything Airhead over ~£6,000.00 had better be special, particularly a non-runner with potentially very serious engine damage. 43K AUD? Really?

I'd better jump back in the pond at this point.