yes
$800 for an AR4? Sheesh...that seems a bit steep. It must be original or something. My uncle has something “like” the AR4, but not the exact weapon. I think if I were going to go buy a .22 at this point, I’d buy a Ruger 10-22. My daughter has one and I LIKE that rifle. :-) But I also like my old Remington Model 34. She said she would trade me, but I’m not trading! :-)