Well, since it's "govt.-owned" anyway, the shoplifters would be, in essence, stealing from themselves, wouldn't they?
/sarcasm
Regards,
If any of them pay or have paid taxes......