It is the sound of a bunch of Texan high-school students playing mariachi, for love and for course credit. Instruction in mariachi—the most Mexican of genres—is popular and getting more so in ...