My thoughts are just because it was ridden by someone 97% of cyclists haven't heard of doesnt mean it shouldn't be repainted once damaged.
provenance is, to me, overrated here. It's a cool info point about the bike, but hardly anything to make decisions over.
also that orange is fantastic. Significant upgrade in look. Really cool.