Everyone Hello!
CWP to answer your question I called a Sarge I know and asked. I was told that when they leave the US they are to claim high value inventory. If they didn't receipts might be accepted.
They should of been briefed and know that they can file a claim.
It wouldn't hurt to mention it to them in case there is some reason they didn't know.
They should talk to their chain of command about it.
They can file the claim with legal.
That is the answer I received.
Blessings, door