1988 International DM10 Vacuum Pump