Do you suppose they want to cash in before RISK V or some other competitor starts eroding their market share, or are senior people looking to retire?
A bit of both.