Just about to install 5m of drainage channel between house and patio. The main reason for it is for the external tap at the side of the house. I think it would normally go to 110mm soil pipe, but for all it will be draining (not much, the occasional garden tool rinsing and minimal patio water) i guess i shoul just run a pipe under the patio going to a sump? Does this sound reasonable?