This is an old revision of the document!
Located in the machine shop on the large shelf. It has a dedicated vacuum pump attached to the lid.
Usage is pretty simple, ensure a good seal of the lid, and pull the air out using the vacuum pump. The valves point toward the direciton of airflow, you want to open the valve to the pump and close the valve to the outside while pulling.
Make sure to close the valve to the pump BEFORE turning it off, this will prevent oil from being sucked out of the pump accidentally.
When degassing silicone allow for an expansion of about double your volume.