Don’t really need it. A plug of a couple hundred feet is sufficient to hold it back but I am sure they will pump as much as possible. It is usually set through the drill pipe at varying depths but since that is not an option, they will just have a surface plug.
Could not they run a smaller diameter string down around 8,000’ or so and start there?