Marvin, what do you make of all this?

4,025 shares