It seems that I was in error as to whom I was "quoting" - 5MF is almost always correct in matters such as this. It seems that more receivers were made than complete guns, since higher numbers are known than the recorded totals of arms produced - at least per data yet published.