Normally i would agree that it knocks 25%ish of the value. But in the case of a car like this i wouldn't be so worried, especially when there are non recorded cars out there that have probably had more work anyway.