Yes, they were issued. Marines never threw anything away, remember.