Repair of the HNT-7000 non-contact tonometer, manufactured by Huvitz Co., Ltd., Republic of Korea.