I'd forget the mechanic tbh, get a new battery for it anyway as the chances are the dude is going to want to charge you more for it then a shop would.
Also remember, if you have the standard HU (radio) in the car you'll need the code to put in when you change the battery.
Pmsl !!Decent batt - from £80 - £200
Pretty much what I said to her lol.