Inspired by ArthurDents clock remark, I ordered a uBlox NEO-M8N module (arduino ready) for $10.
At the very least I should be able to turn that into a stand-alone 10MHz GPS reference singal, but maybe also add a x5 PLL and make this AWG run of it.
I took the M8N version, because it has flash, so you can configure it once and then hook it in.
If that works, one would have a better then 1ppm (uBlox claims 5ppb) generator as well as frequency counter.
Then all those digits they display (60.000.000.000.000 uHz) actually make sense

I am thinking a
NB3N502 PLL, because it can do x5 on a 10MHz signal, as well as passes through the original 10MHz buffered. And it is cheap. But if anyone has other suggestions.
Edit: later thinking is a double NB3N502. Because uBlox writes that only 1, 2, 4, 8 MHZ (any division of the internal 48MHz clock) is jitter free, whereas a 10MHz has significant jitter. So 2.5x VCO PLL on 4MHz would clean up an already good base signal. An 2nd x5 would then buffer out the 10MHz as well as provide the 50MHz.
Also, uBlox claims a 5ppm "holdover" precision when the GPS is not locked, so that is pretty much equal to the current 50.0000 VCXO
Probably because they internally use a 48.0000 VCXO themselves.