Well, the problem has interested me enough to look around more on it and it looks like a replacement shaft is around $700 aftermarket anyways. If the repair shop is going to do the whole job for that much, sounds like it is reasonable.

Another note, I can't possible see how it would be difficult to replace a drive shaft. It should be 8 bolts on the shaft and possibly a skid plate, would have to see it though.