Thanks for the suggestions everyone. Not quite sure when we will be in Washington. Could be early June, could be July. I'll be back for more suggestions when we nail down an exact date for our trip. Thanks again.