save yourself some money, buddy.
Do some net research and do the repair yourself. It is not that hard even if it is in the tank and you'll save an assload of money. If it is in the tank, it can easily cost 500 depending on the shop. Buy a 12 pack, spend 60 bucks (at most probably) on your pump and take the day to do it (after some internet research). if you can, get some friends to help.