You are pretty close on your estimated cost to repair it and it is going to need rebuilt for repair as almost no shop will tear that far into a transmission to replace only a band and then put it back together with everything else being original. My base High Perf 4T65E transmission price is $1499.95 and I charge $450 for installation which is a pretty average price though I do hear of installs being in the $600-$800 range now and then depending where you are at and what your local shops want to charge. I am currently running a special through the 4th of July on my High Performance rebuilds starting at $1299.95