I'm not the original poster of this but its both possible and (probably) unlikely - Article says they have 2500 customers - so if their average price per user was $25 and their average customer had 10 users that would be ~7.5MM ARR - this is obviously just some back of the napkin math