In answer to the question 5% asked and an issue somebody else brought up earlier, yes I would sell if 13D won.

Fortunately I won’t have to worry about that.