I was there and we went next door to eat right before lot 139 GT40 came up. The pub had the live auction playing. It started out right at $4m. Then it took a while to get to 7m. Then it went back and forth quickly to 9m. Then it sort of slowly worked its way up to 10m. Sorry for the horrible phone photo of the TV, but if you can see it, it reads $10,000,000 and SOLD on the bottom. So was it sold at $10m, $11m or $10m+ fees?