Have you tried looking around for PM666x counter guides? I'm unfamiliar with the series, but Fluke seems to be pretty good about making service manuals and a lot of it is available - I know there are some meters that look a bit similar from the front, so if they just depopulated a couple chips and used lower rated ones for another bit, maybe it's the same board and overall layout of a higher end, same series counter. In fact, looks like the fluke/phillips PM6665 and PM6669 have 1.3GHz options and at least the 6669 has a similar front panel layout - could be a good resource if there's documentation or parts available for those.
That all being said, you may not need a proper service manual to do what you're looking for. Depending on the layout, the optional input could just be an expansion card (it is for my Fluke counter and I know it was with some of their Fluke/Phillips counters), so then you'd just need to find the card which could be available. For the OCXO, it should be real easy to find the current crystal and remove it - then you can just bodge in a new one however you want. It starts getting more complicated if the board already has an external feedback loop and software to give you warm-up time notifications or something, but the oscillator itself you can set up with just a few components on a breadboard if need be. Given the cost of the oven and board you'd have to build, a cheap GPSDO may be a better choice unless you absolutely need the counter to be portable without the GPSDO setup time and pieces.... it would probably only be 4x more expensive or so than the OXCO alone, and it's a higher precision reference and something you can feed into other instruments if you've got them.