I bought new tpms for my 2008 Elantra and got part number 529333E000. The tire shop is unable to get the car to recognize them. Are they the right ones?