If you do the work yourself, it wont cost much.
Just replace it, it's cheap. Your local automotive supplier will help you out. I think it's a 3/8" rubber hose, not sure though.
Buy a 12" and u will be ok