I have a brand new (never used) TPMS sensor set that I purchased for my IS but never used. This set comes with 4 sensors & 4 service packs. Fits 06-12 ISx50s.
Originally purchased from OE Wheels Inc. Product info link: http://oewheelsllc.com/TPMS-Sensors_...sets-for-Lexus
$130 shipped priority to lower 48.