Anyone know what model microphone is in these pictures? I'm guessing a RCA 77 ribbon?