 ::OberRanks, I have to agree with you.  I think that WP:COMMONNAME would apply here, but finding a reliable source is the failing.  So that takes us back to the stilted language of a DoD manual, the only RS we know to use.  5/16 inch star seems obscure, so that begs the question what would you call these devices collectively, and is there a reliable source?  Being a Navy man you may be able to save us from ourselves by finding a good RS.    