Is the TIR lens from Convoy a straight drop in?

I ordered the 8*7135 version but easy enough to remove a few chips spring side. I wonder if 5*7135 would be okay.