You're right Chris
It'll be interesting to see if it sells and for how much (though I guess we may never know) given it was on the market for quite a while prior to the auction, if I recall correctly