Ball park, I come up with $4-500 in materials alone. Multiplying that by 2 gets you to $800-1000. Are we seriously suggesting that he only has about 6-8 hours in design, machining, and finishing? Assuming those guns are CNC cut, I'd guess there's close to half that time in just cutting them out.