The vacuum pump is back online!
Although Pfeiffer sent the wrong o-ring:
I was able to re-use the previous o-ring:
I’ll upgrade the o-ring to the new one when I get it from Pfeiffer.
Here is the removed broken vent valve:
The vent plug installed: