We were there in August and it was better than our prior trip, last December (which was our first time and really won us over!). Crowds were about the same for lunch - really not that busy (which we like, less noise, more attention), and there were many calls for ketchup. Our waitress was...