They do it all online now, and all the big-time retro game sellers on eBay know about govdeals.com now. The auction would have gone for thousands of dollars, easily.