who knows what kind of tom mics are being used here?

http://www.rodneyholmes.com/videos.html

it's the 3rd clip .. "Modern Drummer Festival 2005"