Having just acquired an OCXO-deprived HP5385A I stumbled onto this thread.
i happen to have 5 of these CTI OCXO's on hand so..
And, maybe useful, I have a sort-of datasheet for them. See attached.
From that datasheet I conclude that the 4.095V reference is what is needed for Miti's PCB?
Wilko