RCI also has Holiday Beach Resort Soundside (#0674) in Pensacola. It's the only timeshare in Pensacola, in a really nice location just across Scenic 98 from the beach, a trolley stop out front, and walkable to many restaurants and shops. As mentioned above, those northern Gulf beaches (IMHO) are the nicest ones in the continental US.
Like Orange Beach/Gulf Shores, not too many of the summer Gulf weeks get deposited (that's why I bought one there).