yeah man. it's just a small dent.
it's not like as if the chassis got fucked.
at least he changed it and got a new one.
but 172k for that is kinda over the limit though.
get a good mech & mudguard panel beater to see the car (if u r a keen buyer), before making comments...it's the best way rather than guessing it....my 2cents