Even as such, they should be buying on average 270 $ worth of Leo. That's 10k Leo a day. Nowhere close to that.