Lobstering ban near coral gardens could cost industry almost $9 million a year, fishermen say