No, my fan is in the right direction. But you made a good point. Of course the fan is sucking hot air out of the device.
Anyway, when you see how the OCXO is mounted, sideways at the frame, directly behind the front panel, I do not know how much the little fan really influences that.
but if the replacememt fan has the same params, why bother. Should make no difference but less noise.