Great tip to obtain an accurate digital thermometer to maintain a safe environment for the vinyl. The ultrasonic cleaning can work great but remember they are not specific for records. Originally they are for cleaning medical or industrial cleaning.
The transducer reaction to the liquid in the tank temperature can increase too much and harm the record. Even 95 degrees is approaching the safe threshold.