A lot of songs in Spanish are collected HERE; some with MIDI. There're 23 songs (texts only) HERE (presumably Mexican). There's a MIDI only site HERE (LA GRANDE MUSICA HISPANO AMERICANA). For Mariachi songs, THIS would be the best. Musical Spanish Songs (part of MUSICAL SPANISH), containing 10 songs, is intended for educational purposes, with detailed instructional information.