No, they never repoped the OK thermometer.