I think there were definitely area mics - anytime someone would walk downstage right, their voice would suddenly become a tiny bit louder ... in a slightly artificial way. I don't mind general ambient mic'ing, I just think designers have to get better at modulating it.
