I should probably update this as I have indeed been able to use a telecoms surplus Trimble Thunderbolt GPSDO (about $165 on eBay, a bargain for the accuracy) with great success!
Being on frequency is what I call a key feature of the SDR design but it takes a stable, locked master oscillator to realize it.
