I am going to have them turned and get one more life out of them. I found a spec page (https://www.onlinecarparts.co.uk/oen...6300sa001.html
) that shows new thickness to be 24mm. So if 72K+turning=less than 1/2 of usable thickness gets used, then I can get one more life out of them. The local shop says he sees this quite often, that OEM rotors hold up better on the car and can be turned to revive them. Aftermarket rotors, not so much.
Since my daily commute is 60 miles (round trip) and at least 2/3 of that is interstate, then I would say this should be fine.
Thanks for everyone's input!