El número de cabezas actualmente desplegadas y operacionales en correcto estado de mantenimiento podría oscilar entre un mínimo de 10.500 y un máximo de 20.500.