It sounds as if he's done about as thorough of a diagnosis as can be done without pulling the dash. It wouldn't hurt to pressurize with nitrogand a few ounces of R22 then check with a sniffer, but it is pretty well diagnosed.