¿Qué tipo de guitarra toca Antonio Banderas en Desperado?

Antonio Banderas no toca la guitarra en Desperado. Steve Vai tocó la guitarra para el Mariachi de la película.