OK, seems that 10.0000000009 +/- 6µHz is the best I can get for now... that is after 24h warm up. The 1st 3 hours were all over the place.
I am using a PRS10 as a reference, but I suspect that the 10MHz distribution has a lot of jitter... need to investigate...
The trim pot on this one is not that friendly, just tapping the screw like a mini impact in the direction you need makes a big difference.
Oh yeal and use an isolated screw driver, or a ceramic one if you can. The screw is part of the circuit.