Any idea what the core plug sizes are on the 300tdi vacuum pump?