Thank you! I wasn't aware of the various methods to autofocus. It makes sense that having a mirror to send light to a dedicated sensor would be better.

I remember an older camera my mother used to have used some sort of ultrasonic device for ranging -- I remember it would make a 'click' sound anytime it was focusing.