mine's been leaking for years. small 1" spot on driveway. from your picture it doesn't look to bad yet. not a huge priority for me till it leaves a 4" spot. I do my own work so I don't know shop rates. but I would guess at least 3 hr. shop time plus oil change, then whatever else they can think of. so $400 would probably be on the low side. unless you can find a honest mechanic, good luck with that.