Lectopia is pretty darn good hey.
You can listen to just the audio, or have the audio and powerpoint being run together.
I don't know whether it is definitely used in all lecture theatres, but I know there's capabilities for it in CT202, GP1-1/GP2-1, Griffith Duncan and the McMullin Theatre...