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.