I've got one that was a hand down from Granddad, to my mom, to me. I think you did good for 25$. When I researched them they sold between 65-100$.
I had to do some extractor tuning on mine to get it to cycle reliably. I don't think I would ever use it as a carry, but it's a neat piece to bring out from timr to time.