La Marina Real dispone de un total de 12.000 efectivos, incluyendo 3.000 infantes de marina.