Get a PPI and I would have that gearbox looked at very carefully. If that heat exchanger failed and got coolant in the gearbox you will have issues. Regardless I would put $10k aside for expected needs at that age and mileage.
Agree. Better still, have $15-20k aside esp. with prices up these days. Before Covid, a 360 major service alone was almost $6k. Now, it's almost $10k. (That's at the dealer).