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. When degassing silicone allow for an expansion of about double your volume.