That's pretty much the size of it. I own 9200 shares and am sweating it a bit, but still wondering if I should own more now.