Just about everywhere serves food in Castleton. The Castle wasn't that good the last time we went (although that was some years ago so it may have got better since). But there's plenty of other places. For 11, you'd better book in advance though, or at least in the afternoon, especially in summer or at weekends.

Tell your friend to pop into the Three Stags in Wardlow Mires while he's in the Peaks. Absolutely *the* best pub for beer. It used to be a very good folky pub too, but the regular Saturday night sessions have apparently dried up over the last few years. They'll also do Sunday lunch as well, and the cooking there is just brilliant. Be prepared for the size of the place though - it's tiny! Oh, and it's usually full of dogs as well, so don't go if you're houndophobic. ;-)

Graham.