Stop in for a cup of coffee

yuck. thought you meant the cable. never saw a terminal do that. How old is that battery? Looks like a lot of corrosion on both terminals. Unless there is some explanation I am not aware of, I would assume that was there when you just had it in the shop. Sorry to say, I would recommend you get a new mechanic.