After a new Gerni (or Nilfisk - same brand).
Can buy from UK/Germany etc.
Cheapest its been is just over $150 delivered from Amazon UK: http://www.ozbargain.com.au/node/74917
Missed my first big bargain. Still looking after one year :(
That particular model has been discontinued on Amazon UK, but may be still available in Australia. HN (still) sell it for $399 !