Two roots pump (in a series), not diffusion pumps, are used to circulate helium three for the dilution refrigerator. Kinney pumps are used for 1K Pot and Lambda tip. All pumps are housed in this pump house in the basement with proper vibration isolation.