First of all, happy Cinco De Mayo. Secondly, Cinco De Mayo makes me think “the 5th of mayonaise”. I don’t think a 5th of mayonaise would be very good. I had a burger from Carl’s Jr. that had a lot of mayo on it. It was the most Mayo I had seen in one place in many, many, years. I hadn’t eaten at a Carl’s Jr. in, like, ten years, so I didn’t really remember what to expect. It wasn’t a 5th of mayo, that’s for sure.