Companies were returning workers to U.S. Gulf of Mexico oil and gas platforms and restoring output shut due to Dolly. Shut-in gas was 5.5 percent of Gulf output Thursday, July 24, down from 7.9 percent July 23, and shut-in oil was 1.4 percent of Gulf output, down from 4.5 percent July 23. Dolly became a hurricane Tuesday afternoon and came ashore north of Port Isabel, Texas, about midday Wednesday. It dumped flooding rain over south Texas before breaking up near the Texas-Mexico border late Thursday. The Gulf provides 25 percent of U.S. oil output and 15 percent of U.S. natural gas production