Thanks Guys!

I wonder if the Discount tire ones are different than the OEM ones, in that they might be universal.

The receipt says that they are "Beru 48mm green sensors that operate at 433.9 mhz".

Does anyone know the frequency that the LCI ones operate at?