The first thing to remember is that stopping drilling with...

The first thing to remember is that stopping drilling with 10,000 psi BOPs doesn't mean the formation pressure encountered was necessarily anywhere near 10,000 psi. BOPs are the last ditch defence against a blowout, but you don't want to risk having to rely on them. There are several other things to worry about such as kick tolerance at the casing shoes which could cause them to stop drilling.

I'm not a drilling engineer and can't speculate on when or how drilling might continue.

I suspect the pressure in this well is higher than any I've been involved in, though I have encountered overpressure at similar depths. The highest mud weight I've used is about 13ppg. But those were shale seals which are limited in the pressure they can support. Salt seals can potentially hold higher pressure so the degree of overpressure could be enormous. Sub salt plays are pretty rare in Australia, at least onshore.

The risk at Dukas was always going to be reservoir. If they are getting significant gas influx that may suggest they've found something permeable (you don't need much permeability to flow at this sort of pressure). But these rocks are incredibly old and deep and I'm going to wait for a flow test before I get carried away.