Vacuum pumps

A new vacuum sensor was bought. It has been used to calibrate the 2 units in the vacuum pumps. Also, the pump normally station in the dome was serviced and cleaned, polishing vacuum connections and replacing some O-rings. Since that, better vacuum was obtained using the pump.