Yes that is on par for a Mini.

I was for a time Hugely Jealous of your 46K shares per day? Maybe it is my pool that is not reporting right end of the day as long as we are earning who cares about the numbers