That is just their personal stash. It does not include what they can sell from the company treasury. Just IMO. GLTY.