Thanks for your list of questions.
Obviously, details need to be worked out.
My general question is, based off the fact that it's anyways gonna be just sitting there for 25 years, is it a good idea to sell now, and buy back after the drop, (if there is one), and buy back in once it's down (say, anywhere between 30-35, if it ever goes that much down).
of course no one would know what's the bottom, and when it's gonna be going backup, it might take years, but what is there to potentially be lost?