Up to 9,350 barrels of oil released in Gulf 40 miles SE of Venice