pmlljl, astral_tsar seems to be considering a price higher than $50. Here is a recent post of his--although my recollection may be inaccurate: "I've been thinking about it too. On the other hand I think $2250 would be very fair for everyone."
"Everyone" probably refers to you---and to me. Perhaps we should enter sell orders with $2250 limits and wait for fills. Do you think they should be DAY or GTC?