Chances are if you selected  any GM model with 315mhz? sensor  and the tried and it don't work , find another GM model listed that use the other typical mhz? range. I don't even see why you  need  that Vauxhall data base, when you could probably take the tool put in on RKE mode , use the round exciter magnet on the sensor and maybe if the sensor works maybe if the TS401 is close it would  pick up and display the RKE frequency that the sensor works at. If not , go to the Rock auto web site and look up Vauxhall make, model year , and TPMS sensor and the info should tell you the frequency of the sensors listed. Select another GM model of the same year that uses sensors that transmit on the same frequency and you should be able to read the hex code of each sensor.