It's either good or it's bad. Besides, if they knew what they were doing they would have already checked the charge pressure. This is a shade tree mechanic operation. They don't even have the correct technical manual yet.
How much you want to bet they will be changing the transmission pump?