Hi, I'm trying to get another key for my lugnuts off jcwhitney, but it turns out I have to buy a whole new set of lugs. They have 2 sizes, though- 12mm x 1.25 or 12mm x 1.50, which one do I need for my 92 Civic Hatch?