Ouch, this one is going to be touchy. Depending on how much fluid you lost before shutting it down is going to give you some indication of how much damage your transmission suffered. I am not positive about the total number of quarts that trans holds, but it is a number that you will want to know. If you are anywhere close to 1/2 gone and the trans heat spiked up for any amount of time, its real easy to damage the seals and if it went on longer and got hotter, then the clutches/plates begin to slip, then burn. Unless it is just a few quarts, I would almost insist that they pull the pan and valve body to at least get an idea. With a cooler line completely off, you would be pumping fluid out at a rather impressive rate somewhere around 125 -150 psi. A number of years ago, I dumped about 4-5 from a 12 quart trans, fixed the leak and refilled it with ATF - thought I was okay until I burned up the trans the following weekend.