No idea but the generic email address to the resort did not bounce like the one to the manager. A lot can change from July to October.


J.D.