Hopping over to the About screen, he was shocked to discover that the device was running ICS. The firmware appears to be operating on the same baseband as the screenshots leaked a few weeks ago, but it's running on an updated build (IRK48) and kernel (3.0.1).
ENGADGET: Ice Cream Sandwich gets a two-minute tour, courtesy of a lucky eBay shopper (video)