DH has to go to Buxton for a brief work thing so we thought we might all go for the day. What's best to do nearby? Tips for places to eat etc also gratefully received. Thanks!