Both should be fine. One lists the ROFR info and the other is likely priced high enough that it won't matter. Still, it would be better if there were at least a disclaimer. Since other resorts (Marriott, Embassy, etc) also have ROFR and I rarely see a disclaimer there either I don't think there's much room for the potential buyer to baulk. It's essentially a case of buyer beware.