Just to report, I have contacted Bob and we will probably get together for the tune gathering at the White Horse Tavern.

By the way, Willie-o, I have been to that museum but not recently. I visited it while in the Navy some 30 years ago. I'd love to get back to see how it's changed.