Hi boys.ChrisB...yes those distributor o ring go bad .Specially the original orange will be flat ,but it takes time.
I have suggested to OP to use Bosch grease which is NLA .The best lube is nowadays is Sachs grease.Also if you use the green o ring it will last as long as the original orange type.
Ivan
The green o ring is the same material as the oil return tubes o rings or thermostat o ring or oil cooler o rigs.All from Victor R. supplier or Porsche