Hi. I am taking a vacation to Castle Park the last week in October. My mother and stepfather are building a house on Indian Pipe Rd and are moving there for their retirement, so I figured I'd come and check it out. I have only been to Castle Park a couple times, not for several years & never in the off season. Can anyone recommend any good pubs or restaurants in Holland or the surrounding area? Do they keep the Castle open that late in the year? Thanks!