Hola, alguien sabe cual es el diámetro de la bola de la boost valve? 5mm?

Es que trasteando para cambiar el muelle se me ha resbalado de las manos y caído por el vano motor, después de un rato buscándola he desistido, donde podría conseguir una?
Era de acero bastante pulida

Un saludo