Nice! Brings back memories. Friend of mine's older brother had one back in the mid-60's.
I, myself, have the Benjamin .22 pump pistol my dad bought for me in the late 60's.
Never had any work done to it. Been shot a lot and I still bring it out sometime to shoot with my grandson.
Still have the one my dad handed down to me. If I’d carved a notch in it for every squirrel and rabbit I took with that thing there wouldn’t be a stock left! I still have a few green cans of them old oily pellets too, lol.