High-end counters often don't come with OCXO standard and built-in oscillators are usually awful. This is because it is expected that customer will either use shop standard or pick an OCXO. Shop standard being more common, later customers don't have to pay for extra. This will be a significant amount of money when buying ten or more counters! Standard oscillators are there just to check that the equipment works. It was never meant to be used for measuring anything.
I typically don't like internal OCXO on counters. It means separate calibrations and they will never be exactly the same. This makes it impossible to check correlations. Also, counters will keep OCXO turned on while equipment is turned off. That means heat generation and power consumption. Having few of these, it adds up.
If this is for business, I would really NOT mess with it myself. I would have certified hands do certified work and come back with certificate of the job performed and the result. Can't imagine what would happen if unthinkable happens and thousands of miscalibrated products going out the door. Compared to that, what HP charges is cheap.