Are the TPMS sensors for the R35 the same for US spec as JDM spec. I have found different part numbers and want to make sure they work. I know the MHz is the same though.