I think they should sell it quickly before the IO price crashes again. I've not seen an optimistic forecast for it yet. Even at half the valuation they currently have on it, it would be a handy chunk of cash
WFE Price at posting:
0.3¢ Sentiment: Buy Disclosure: Held