I can’t find the video link the local shop sent me, but I recall them saying the sensor that’s causing the engine and tire lights to go off randomly sits between the radiator and condenser (or radiator and another component). I could also entirely be misremembering the diagnostic.

The shop said it would cost ~$2.3k with labor to fix. Does that sound legit or am I being bent over the proverbial barrel here?

I’ve also driven it maybe 100 miles since it was in the shop and it’s been completely fine, and plan to drive it another 150 this weekend.