The extended Old Key West contracts do come in somewhat regularly, but they do sell very fast as well. I would say 98% of the listings we post for Old Key West are the 2042 expirations, but 2% or 2 out of 100 have the extension....so the 2057 packages are out there. Our office does verify with Disney before listing the properties to confirm if the package is a 2042 or 2057.... so if it is an extended contract, we will list it with (EXPIRES 2057) in the description.