Dranko de Mayo. That’s what we called it. And if it didn’t start with Johnny Mango, it surely ended with it. I’m not sure when our slightly askew Cinco de Mayo tradition emerged but it was a ...