That is a low purchase price but I guess that it depends how loaded or stripped it is.
I don't see that they have exercised on Aulani but it isn't to say that at one point they won't start. And sometimes the ROFR isn't accurate. I read a summary saying that AKV was taken at $104 and waived at $105. I had one taken at $105 and it was partially stripped.
The theory used to be that the longer that they took, the greater the odds that they were exercising it. When I purchased, they waived super fast. However, I sold one last year and it almost took a month and they waived it. I sold my other resale this year and it took less than two weeks and they exercised it. So they keep you guessing. lol
Good luck!