Rebuild the body, its not too difficult.
But more importantly, how did mechanic deduce the valvebody is bad?
Did he install same kind of transmission which matches to tcu? Jdm model vs dewan model have different tone ring for the input clutch pack. Meaning it will read wrong rpm.
You need a scan tool to see the transmission input and output speed along with the commanded shift pressure, do not rely on the speedometer as that is getting canbus data from the abs pump.