Anybody know what make those holsters were? My son works at a holster manufacturer and they are trying to figure it out! Thanks to the rpf brain trust in advance!!!