Does anyone know how many of these guns were made? I’ve been looking but can’t find the answer. Thanks