ICPMS 7800 was running then we heard a loud POP, like a balloon popping, and now the rough pump will not turn on. We contacted service and they said it could be the rough pump or the power supply to the rough pump. Has anyone heard a loud POP and lost their rough pump? I am trying to determine if it is the rough pump, a board, or the power supply to the rough pump. Any assistance would be appreciated.