Since this is a DIY site I'm going to suggest you make the repair yourself. It sounds like an easy one. But then, I haven't seen the project. That is also why I won't attempt to price it. Could only take an hr, maybe half a day. Perhaps your main shut off won't close 100% It might need replacement too.
I have worked service, it's not advisable to price over the phone nor over a forum. But if you want to save some money, upload some pictures and guys will walk you through the repair