Yeah, that would be a do-over.
Ruger 10/22 that I bought when I was a kid. I think it was around 1982. In the box all paperwork near mint condition. Just recently I purchased a 1985, very similar. I am happy, but still wish I had never sold the original.