regardless of what the company is that is making the mic, you generally see a condenser mic for the overheads on drums, as you do at Budokan and Radio City as well. (and yes, I'm quite sure it's an AKG C414, although the positioning is unusual I think)