Thanks all - he's going to try Maxlife red bottle for the next few changes and see what happens. It's a sub-$1000 hauler for their band gear for local gigs, so he's not too worried about pulling the trans to fix it for real yet. Probably wait until the trans goes and do it all at the same time. I'll update this thread if he sees any miraculous results (not holding my breath).