Thanks for checking and I’m anxious to find out what size it is. I would try to make a temporary one but I have not been able to find 4mm (thickness) locally. Also for some reason the o-rings that are sold as 3/16" are .210" not .1875" so I can't use them as they are too thick