yes I also had my doubts but it with a simple 100W big old soldering iron (all ESD grounded) it was easier then expected. But the TCXO is relative large and had space around and the TCXO would then be defect I guess.
Did you use also the 8mA set-up from Leo Bodnars GPSDO and 3dBm?
No really sure what that 8mA stand for, as the voltage should always be 3,3Vpp on a 50Ohm output...?
Vy 73, Oliver