Yeah, looks like probably a vintage U67, which was used for Bowie's vocals on the Ziggy Stardust album.
Could be a U87 (great for monologue game VO, not so great for diegetic context lines), unless there's some identifier I'm missing.
Edit: Oh shit, I just noticed the shotgun mic beneath it too. Best of both worlds.