Gents, thanks very much for the info on a starting point. I guess I should also check the condition and version of my vacuum pump - I understand there is an older version that is prone to catastrophic failure, and worth replacing if found.

Any idea on how much vacuum I should expect to find as normal?