There are approximately 1,800 oil drilling platforms in the US Gulf of Mexico, and