Thanks for the info and the reminder about the archive. Forgot to search that. Looks like a quaint hotel. It might be nice for a change. Certainly, a big difference from the Westin Grand in DC, where I have spent a lot of time lately.