Comment by marcosdumay

It's about 0.1% of the company.

Not nothing, for sure, but low enough that you can buy it back in a couple of months.