I'm sure that your son will enjoy the heck out of that.
I've always loved those old pump .22s, but never owned one. It seems like there's always something else I want more, so I haven't taken the time to search for one. Now if one popped up at me at a show or LGS, then that would just be fine with me.