Sorry to bring up this old thread, but thanks for sharing the information, it was helpful to me. Can you please recommend a great AC repairman!