[stinker]

Thanks Blue, that's interesting mate.

In December 2023 I had the vacuum pump o-ring and rocker cover gasket replaced. Neither of these solved the leak, which has been present for about 2 to 3 months.

Prior to that, no leaks evident.