This Trimble Thunderbolt 10 MHz GPSDO (purchased off eBay) has always reported temperature incorrectly.

Everything else was fine, just the temperature being reported as -55°.

The temperature sensor is a Dallas DS1620S in a SOIC-8 package, and is quite easy to replace, as seen in the following video.

    DS1620 Data Sheet