As I recall, this house has been on (and off) the market for quite a long time, most recently for ~59 days at an asking price of $4,500,000 – MLS #076058095. So an “estimated value” of $6,500,000 as given on the auction web site seems like a bit of a stretch, to say the least.