After the initial trip to the tire shop, 2 of the sensor IDs that were previously working were still working. And I had 2 brand new valve stems. So they definitely changed out the bad one, along with another one. I just got super unlucky and one of the new sensors was defective.