You have to patiently watch ebay auctions and also drop offers. If I still do not find HGVC7000 for 10K, I am not going to pay 11K. Instead, I will look for other resorts with decent price. For example, Sheraton Vistana Cascade with RCI points, I can get for about $4000 in EBAY. With TUG review rating arount 9 (probaly better than some HGVCs) and RCI points, why to bother with HGVC? RCI exchange is difficult and point-expensive the way HGVC set that up, I will be lot better off with RCI points. I spent 4800 points to exchange a 2BR wk10 in Malaga Costadelsol. I could have done that with 1/3 of RCI points with Vistana. You do the math.
When a resort like Disney, doing ROFR, it is simply trying to prop up artificially the price of their time share obviously in a down market. In simple economics, it simply does not make sense to buy a timeshare or any product for that matter at artificially inflated price. Would you buy a stock at inflated price? Some people do, they also loose money in the market.
Particularly in Orlando, there are a number of high class undervalued resorts: Sheraton Vistana, Marriott Cypress Harbour, Village at Parkway to name a few. Some of them with RCI points, and less than half price (below 5K) in Ebay, simply forget about overpriced HGVC.
P.S. I think even 10K for HGVC7000 is on the high side based on what it delivers.