What font is the Ironman logo?

I can confirm that-- when I was designing the new site, we used Impact for the base letters and then hand tweaked them to work with the M-Dot, which was hand drawn (otherwise the lettering is off). It took a while to get it just right-- the logo in the top left corner is actually the 18th iteration and is still not perfect, but was close enough.