...but even I know that simply checking a box in the Tools / Options dialogue switches off the check-as-you-type behaviour. So if that was his only reason, he's misguided.