Ok cheers. I was looking at lengths of silicone in either 3mm, 4mm or 5mm and was going to order 4mm. But if you say 9mm yeh I think i'll double check and measure one.
I thought 4mm cos they look about the same size as the vac hose on the diverter valve.