Miguel del Barco se jubiló en 2008.