I believe I have the distinction of being the first person on pinside to purchase a 2010 IronMan after the VE was announced. It was formerly routed and had some wear around the Iron Monger magnet. But it also came with a shaker motor, a few extra figures, LEDs and one of those backbox LED kits installed. It also had one minor error code for EOS on the left flipper -> was an easy fix.
The price was $3,900.