Correct Dots diameter for 335?

[Mojomojo]

Hello,
I m seeing a lot of info about side dots sizes but none about front dots for a 335.
Wondering whether the vintage-correct diameter is 6mm or 1/4 inch.
Thanks

 

[Wood Butcher]

I'd say 6.35mm or 1/4. The world ran on imperial measurements back in the 1950s

 

[Mojomojo]

I'd say 6.35mm or 1/4. The world ran on imperial measurements back in the 1950s

It makes sense, I ll use 1/4 then.
Thanks!