Is the Alamanda actually a hotel still or is it just rentals by owner? Last time I walked by it looked like they swapped over to a VRBO type arrangement?