I have seen a lot of you guys buy aftermarket trigger boxes. Got any stock ones? Got a friend that broke the original and needs a quick fix.