Yet more Key West real estate