Yes, I agree on that as well. I have some experience with both OCXOs and GPS modules.
I run my downconverter from a 10MHz OCXO that I convert up to 25MHz and send up to the LNB and that seems to me is the way of doing it. A TCXO can also be used and is probably good enough especially if it sits in the rack and feeds the 25MHz remotely.
In my view a OCXO don't really need constant GPS adjustments like in a GPSDO to keep it on frequency.
It is nice to have but the drift is so low it is probably OK to just adjust it once a year just for crystal aging.
If you do have the means to build or construct an GPSDO with a OCXO then by all means go ahead and do it but it might be overkill in my humble opinion.
The OCXO I use is a rather affordable module and when I look at it's drift using either a Rubidium standard or a warmed up HP Z3805 the drift is so low, we are talking fractions of PPB for the most time that I don't have the skills to build anything to try to correct that without actually worsening the drift and jitter.
Of course it can be done as evidenced by the HP Z3805 but for myself an OCXO that I re-calibrate once a year if needed is good enough and much smaller and easier to deal with (my HP Z3805 needs 48 hours of warm up to be really useful).
But each to his own and other people will of course have other needs and opinions.
73
//Harry