Yes, sometimes. The U.S. Military uses Aimpoint red dots, and they probably use a few other brands as well. Different branches of the military and even different divisions within the branches have the authority to source different products to use, so it’s hard to know for sure which brands/models have and have not been used.