This pool was used for bathing back in the day (the spa waters of Matlock Bath were considered healing). It actually makes not a bad koi pool.
The public can buy food from dispensers for the Koi - on weekends and school holidays I doubt they need any other food.
