Well, happy America’s cinco de mayo weekend? Did I get that right ?

@Gaby That would be June 7 when we commemorate the Battle of Midway.