Thanks for those links. WOW
I have no idea if they’re still in use. We had them in Korea in the early ‘90s - ready to use against the hordes pouring in from the north.