A punch, for people who Do not know, is a metal tool that is used to drive pins in or out. You'll have them For several pistols and certainly for virtually any gun which has roll pins including an AR-15. Roll pin https://gunutility.com/