With the rumor that Disney is in the bidding to purchase Sea World from the new conglomerate which purchased Budweiser, I was wondering what your thoughts were on the affect on DVC. Aren't there already timeshares associated with Sea World? Does it give an opportunity for a DVC at the Sea World in Texas and San Diego?