The FESEM is back online this morning. The vacuum has recovered.
This problem – the vacuum panel shutting off – has occurred a few times but it comes back on. It is hard for the service engineer to repair the problem when it comes back and works fine.
So, the scope is online and ready to use.