Someone changed the nut on yours CRE. Asian imports usually use 8, 10, 12, 14, 17, 19, and 21mm's(if you carry these in your car, you can fix almost anything). The only time I find 13's and 15's is when someone(like me ;)) lost a nut or bolt, and raided the bolt bin. Domestics usually use 7...