Standard size for most 60s to mid-70s Hondas (excepting inline fours) and almost all other Japanese and British makes.
These terminals actually measure 3.85mm in OD. But, they are always referred to in the electrical trade as 4mm bullet/socket terminals. Commonly used in many aftermarket products.
