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.
 vacuumpipe by Donnie Canning, on Flickr
vacuumpipe by Donnie Canning, on Flickr coveroff by Donnie Canning, on Flickr
coveroff by Donnie Canning, on Flickr




