Salve ragazzi. Devo comprare on line la spia rossa ma non ho la possibiltà di misurare il diametro del foro. Ho visto che sono in vendita da 9,5 e da 11. Avete idea di quale sia quella giusta? Grazie mille