I was given a Tek 11301 that after tons of work, I can’t fix and seems to be getting worse. It has the high stability option that looks like an ovenized oscillator in it. Are these worth pulling out and mounting as a separate source? I have a GPSDO and also a second GPS with 1PPS output. I was thinking of using the TAPR GPS with 1PPS output to discipline it. Thoughts? Jerry