Despite confusion, NFL players can use own smelling salts