A1: Yes, what was previously known as Margaritaville Pensacola Beach Resort is now Pensacola Beach Resort.