In the end it sold for $251 on Netfleet. The domain has some history which could make future branding a problem (just put "666.com.au" into Google to see what I mean) - I think that might have reduced the interest in this one.
I put in a bid, but decided not to go very high. More of a novelty domain than anything else. I would have had buyers regret even at the low price it sold for.