We were not in a hurry to go down to the main area for breakfast, so it was close to 9:30 by the time we straggled in. I actually don't mind sharing tables for hotel breakfasts with folks I've never met, but the place had mostly cleared out, so we...