But, if it gets priced in, it will still go higher

But, if it gets priced in, it will still go higher from there upon the retirement. So, IMO, it does not matter if we are $1 or $3, it will be the same positive movement upon retirement. So there is no price to drive it to that factors in the retirement adjustment. I hope I'm stating it correctly. If they drive it to $4, then the retirement will produce a price of close to $6, so there is no need to drive the price since it is open ended until it happens.

Disclaimer: Of course, all of this is my opinion and you should not make any investment decisions based on my opinion. I have not received any non-public information.