Glad to report that it's an easy enough job and new gasket fits nicely in the rocker cover but of course when I went to put it back on top found another broken vacuum hose! Looking at the ends it appears that it was cracked halfway and I suspect that I may have broken it the rest of the way when undoing the bolt nearby for the rocker cover, so probably a blessing in disguise.
Have ordered some new tube off ebay so hopefully that will be that sorted. I guess that a lot of these pipes are quite hard and brittle with age.

