You just gave me a near-panic-attack. What are the troops using to sharpen their knives? Good steel with a good edge should be carefully maintained, doing away with the need for drastic sharpening later. And the very best steels can only be sharpened with diamonds, but maintained with a leather strop or a ceramic stick.
I'm concerned that they might sharpen the single edge improperly, despite the warning that went with each knife. My collection of sharpening tools is second only to my gunsmithing tools. You can't have enough specialized tools, something I learned from my father.
Of course, I obsess about my rifles even more. "Every Marine a rifleman" is something the Army should have adopted. Shotguns need a bit of looking after, but I figure my Glock can pretty much give an AK47 a run for its money in the amount of abuse it can take, and still function every time.