Do all mini's use the same tpms?