Maybe I was thinking of Minilite/Minotaur 13 X 5s that can be found around, but I guess those were aftermarket, not stock. I've had my hands on some wires that were wider than stock, too, but I can't remember for sure if they were 4.5 or 5, probably 4.5.