If all 1500 paying customers have basic support, and have an average of 1.8 server instances (and are paying sticker prices) ...
1500 * $2500 * 1.8 = $6,750,000
Not too bad...
1500 * $2500 * 1.8 = $6,750,000
Not too bad...
I would personally set the average to 3 from my particular viewpoint.
Mentally, I was thinking of a distribution like this: ($percent_of_users * $usercount) * $license_count, so:
(.8 * 1500) * 1 + (.10 * 1500) * 2 + (.05 * 1500) * 4 + (.03* 1500) * 8 + (.02 * 1500) * 16
As it turns out, that sums up to 2640 -- which is not far off my estimate of 1.8 * 1500 = 2700. :)