Allot of these models are custom made, with that, some are on workshop, or hidden deep in gmod.org. Some are just made with a few stuff and put together, like Mask, its just the model of Venom and a mask that is downloadable on gmod.org. To get other custom models like HongKongSniper or XtremeTerminator4 is not easy, you will unfortunately have to ask.