Diamètre étai du Karaté Sport

Bonjour,
Je vais devoir changer mon enrouleur de génois Facnor (sans doute d'origine sur mon Karaté II de 1982.
Je souhaite passer commande mais, compte-tenu du prix, je préfèrerais ne pas me planter et comme mon bateau est à Tenerife, je n'ai pas la possibilité d'aller voir sur place quel est le diamètre de l'étai.
Je me dis que ce doit être 6 ou 7 mmm mais quelqu'un a-t-il une idée (ou, mieux, une certitude) à ce sujet?

Avec mes remerciements.
Ariquero