Yup, it seems to be off ebay. With any dealer sale, however, it is hard to know what they really got for it (deals are often complex). Regardless, however, Symbolic certainly seemed to think that there was more value in the car, than what it got at auction, so like I said, there seems to be plenty of belief out there that the market is alive and well... Personally, I thought they were asking rather a lot for that car...
It shows under the sold inventory on their site. Given the time it was for sale I think it is a safe bet that they realized 600k+. The original seller at RM will kick his a** because his auction adventure cost him probably 100k+