. "We saw quite a few Spaniards during our trip, probably due to the fact that the 12th is a national holiday in Spain, and few people worked on Friday the 13th." . . .