Miami-Dade County has formally announced its full marketing package with the developers behind the upcoming Grand Theft Auto video game. Officials with Florida's property insurance company of last resort say efforts to bring the company's policy count down are succeeding.