Aka,
You are right.
I think they are more than likely buyers than sellers.
Azure would be talking to them on a regular basis and with the market in general, and the impending CR, I don't believe there is any urgency.
After the CR they will be sitting on about 13% with plenty of room to move as more de-risking takes place.
Cheers
