David Gilmour Mic??? Just wondering if anyone knows what the microphone David Gilmour is using for his vocals in the concert movie Pulse?