Probably.4,000 seems like an awful lot of pistols for such a small command. MARSOC has, what, like 2,700 Marines on its T/O? And its not even up to 100% yet. Are they planning on giving every swingin dick a .45?
Is MARSOC Looking to get bigger? 4K might be in anticipation of an increase, or just an aknowledgement that the pistols will fail and they are buying maintenance spares ahead of time