@JeffreyKeefer I had 5 hours there a couple of years ago. Quite compact, can see a lot in a short time. Have fun!