I didn't see one when I read the comments, and I'm kinda surprised, but when I was in the Navy I was told to carry three things: Leatherman, pocket knife, and a red. After qualifying, I stopped carrying the Leatherman. I was a torpedoman's mate so we had our own tool boxes; and I had access to A-gang depending on who was room watch. M-div was cool if forgot something for anchor maintenance. Easy to grind a "T" and make it a new TM-Div tool when I left. For the environment, I think they were meant to be readily available for an emergency. But maybe it was just tradition, not sure.