For a time Vector had some surplus IMI receivers and you could buy a Vector with either an IMI or a Group Industries receiver. Those were the good old days.
So, I just got my hands on this exact model (dif serial of course) in like new condition. I paid $500 and I think I did well. I couldn't find a comparable sale out there and the owner said fine. Seems like I did way better than I thought
Use the palm of your hand instead of fingers.....or use shooting gloves. Either that or buy one of the side cocking levers. I've only shot IMI/AA guns and never had this issue.