To repair or not to repair

That fix should be done in a week or so by a reputable shop. I'd say probably 2-4 hours of actual hands on time. Ding guys can make a killing if they know what they're doing, a dollar a minute is usually the motto.