Drilling rigs pull 20000' of pipe 10000'vertical and 10000' horizontal all the time. It is easier to push then pull. With a pipe already in place it would be easier to run a pipe inside then boreing another pipe.
It is always a good time when you drill that last plug at 19,500' with 2 3/8...