if you traded, do trade and cash as think yours is valued around the $6 - $6.5k, but the likelihood of finding another HUO IM will be slim as only about 40 in Aus.
Crusierman had trouble moving an IJ for a little while and ended up selling for around $5.3k I think
http://aussiepinball.com/index.php?topic=9854.0
