It's a old rig, so probably heavy walled pipeline but I could be wrong never worked in the gulf so not sure what their standards are.
I did a lot of replacements on rigs in the gulf and west Africa.
Couldn't honestly say about this one though. If it's flexis there's a chance that it's blown through the carcas and pressure layers but that's very rare.