After double checking tires, I realized they do need to be replaced. Just about at 2/32nds in the rear, 3/32nds front. Will replace all four next week with oem Michelin tires.
Adjusting price to $35k with new tires installed. Set of oem tires is a little over $1,200 installed.