Got a question for you, I remember when you dug the trench to your garage to install some wiring, what model or type of trencher did you use? I want to install some drains from my home gutters to the street and cant find a rental trencher that will dig a trench for 4" solid PVC. If Im not mistaken, you did install 4" right?