Those are fine. They are not the stock wires, they are motorsport wires. A lot of guys on here have those. They are cheaper than buying actual factory replacements, and they probably work a little better than the stock ones. Stock size is 8mm. You should have no issues installing those.
A forum community dedicated to Ford Mustang owners and enthusiasts. Come join the discussion about performance, production numbers, VIN decoders, modifications, troubleshooting, power adders, DIY tutorials, and more!