James, as others have said, the actual spring needed only costs a few dollars, as in less than $10, the real expense is in the labor. This very thing happened with my '82 last Fall, luckily I was stuck in 3rd gear, so was able to limp home, and later to the shop of our local, well known Airhead guru.
Long story short, I also gave him permission to "replace anything which needs doing", and after waiting 3 months, then finally having to demand the job be finished so that I could meet tax and DMV inspection regulations, I still don't feel that the job was well done.

I sincerely hope your guy will do the gearbox quickly and correctly, and not charge you for parts and labor that may not have been necessary!