We used the Dremel tool with a cutoff wheel and a small air-powered belt sander to remove the bottom of the receiver pocket.
3/9/2020 Picture 510