How about Spanish Armada songs to sing in Irish Pubs on Hispanophone holidays? (I'm kidding. But I was thinking of Tom Lehrer's "Old Mexico", and, much less objectionably I think, Mike Pryor's "World's Longest Catholic Name".) My buddy Verne has a Cinco de Mayo nursing-home gig and asked me for suggestions. I wonder if anybody in Seattle wrote a song about the "Sinkhole de Mayo" that we had that weekend a few years back, right next to the original Red Robin and under the south end of the University Bridge.