You want to have him double check that it is not a leak somewhere along the transmission cooling lines or somewhere else on the transmission. This is a much more common occurrence and could possibly be misdiagnosed.

Scott