Good call on the Tipman, got more screenshots and the grip and receiver seem to match. A decal seems to suggest the in-universe manufacturer as "???NKOA ARMS"
I'm pretty sure the first gun is a Px4, is the second a USP?
https://imgur.com/6EWpBef
https://imgur.com/iqtvtmv