Is there a law or code anywhere in the state of Florida that says you haveto vent a gas cooktop? We have an island style and new vents are prohibitive in cost and labor!