Recently, MicroStrategy's purchases have only been in the hundreds, way less than before. Not sure if the big guy can go all-in a bit more after this dip.