What kind of guitar does Antonio Banderas play in Desperado?

Antonio Banderas does not play the guitar in Desperado. Steve Vai played the guitar for the Mariachi band in the movie.