En la actualidad (2010) están en servicio 9, de los 12 originales.