Also, the hotel operator will be Benchmark which owns and operates a bunch of resorts around the U.S. including the famous Turtle Bay in Hawaii:

https://www.benchmarkresortsandhotels.com/