I bet the bolt is somewhere in his place. Instead of getting a gunlock, some guys take out the bolt and set it aside, since the gun can't be fire without it.
I checked Gunbroker, and there's one bolt listed, but it's at $250 (ouch) and for .223 I think changing calibers involves just changing the bolt face, but that's still a struggle in finding.
Joe