Learned that PortalGuard is approximately $5000 per year (at 20% discount). The price is only loosely based on # users. This is at the 10k user tier, which is probably about as high as they go.
So I estimate that each of the PRs represents about $5k per year gross.
That is not a lot of revenue, and it explains why we don’t read about revenue in the PRs, and also why Mike refuses to answer these questions on earnings calls.