I have an A4000/040 I might consider selling after I test it to make sure it works. It will most likely be a few weeks before I get around to making a final decision, though, and there may be some extras (accelerator, memory expansion) that come with it. It's been so long since I've used it, I'll have to re-learn how to use it! The cost to ship it to Australia may be prohibitive though, not to mention NTSC/PAL compatibility. If you're interested, send me a PM.
Greg