3500 users. Not individual subscribers. I imagine a lot of them would be under negotiated corporate/institutional contracts, and would therefore be paying much less than the $66/user "off the shelf" price.
Still, it's good news, and it's early days yet. Just like it's been early days for the last two years.