Thanks Kurtis,
Sometimes I envy you guys in the states where there seems to be a much bigger second-hand market. There's not so much here especially locally. From a quick check of that model on ebay the cheapest one there at the moment (not listed "for parts") that ships internationally would be about $300US including shipping and import duties (which are about as much as the scope itself). or over $400AUD on current crappy exchange rates.
I did get ahead of myself on this a little bit and had put in a low bid on one of these:
http://speech.di.uoa.gr/dsp/program/TOOLS/lgosctechnicalsheet.pdf. Didn't really expect to win at the time, but ended up owning it earlier today. It's here in Perth too - no shipping and no duties! Has X/Y so hoping it will do the job.
If it turns out to be not up to the task I'll just wait out a more local / better deal on the tektronix. Can definitely see the benefit of something more compact like that.