They most likely changing the bit because penetration rates have fallen. There is no mention of coring.
It will take them up to eighteen hours to change the bit at that depth.
No-one wants the background gas to be too high otherwise it would be dangerous.