It would be nice if we didn't have to drill for oil in the gulf. We have this shallow continental shelf on the west coast of Florida, and it would be a real disaster if we had a major oil spill there. It would be wonderful if we could find some other source of energy.