new koi pond construction... we live in limestone territory - currently digging (jackhammering) the pond in limestone - will be approx 3500 gallons. I don’t want to dig an extra hole for gravity fed pre pump. Would you recommend skipping the drain, or a drain to filter? Seems most recommending drain also recommend pre filter gravity fed.