1988 International B112 Vacuum Pump