Thanks! It’s one of those long (8 days) holidays with not enough fun, and too much food. But it involves family, and that’s always good. —G—
