HP E1938A OCXO repair

A HP6267B power supply blew its RIFA safety(?) caps