I made a quarry world on our unleashed server specifically for quarrying. Hence the name . However I was not able to make it without some lava in the cave systems so my question is; Should we drain the water out of our quarries when we are done or does it not matter as far as server performance goes leaving the water in them?