Less than 0.4% of outstanding and under 1.2% of float. So nothing to worry too much about at this point.

Let's hope they are on vacation for the next week without internet access and end up buying them back for $2 or (much) more!