Anyone know how I can book the Texans Mariachi band for a wedding?

I'm in charge of finding and paying for a mariachi band for a wedding and my whole family are Texans fans so this would be perfect! Anyone know how I can contact them for booking and pricing?