I may not know everything about rebuilding trannies, but how easy/hard is it to turn a 2.5 into a 2.7? Besides, 7k is too rich for my blood on a 8 year old car with 135k miles on it. I smell something really fishy.
Correct me if Im wrong but .030" oversize cylinders will net only 2.6ltr. You would have to go .060" and stroke the crank and if he only went .030" over he would have to stroke the crank even more. Its nothing major to have done.