How long was the trench? How much to rent the trencher?