What mic is this?

Was watching this video of Kelley Stoltz talking about his recording techniques and he's singing into this interesting mic... Google hasn't been my friend so far helping me figure out what it is... Now I'm just curious...

http://m.youtube.com/watch?v=OxUd_5I5taw at 0:16...