Even though you still haven't said what kind of car it is, I don't know of a trans that the aftermarket or private shops get 4 grand to fix. I'd call around before I'd cut them a check.