buffer

I don't own an AR but do own a 3d printer. Made this for a buddy but it is really tight at the buffer tube. He could sand it or I could re-print it but wondering what he would need to change out the buffer for a Mil-Spec which I think I found was a few millimeters smaller in diameter. Like...