Good to hear! The dino Dexron II/III typically should be changed out 15K miles during severe service and 30K miles during normal service. In general the
Aisin A-series transmissions (A140E?) are not the cleanest. Mobil-1 will still be good at those intervals, but keep an eye on it around 15K miles to see if the transmission is dumping crap again into the fluid. The fluid should still look red...