Thanks - Columbus Day is a weird holiday, some things open, some closed, but it was a nice day, anyway. It's a bigger holiday a few miles away in the heavily Italian sections of Boston!