In fact they did not, which I thought was very strange, but as we were in a rush to leave for Ensenada before the airport closed, I didn’t insist on one.