[maxxxxx]

Fair enough. I have no idea how industry sizes are calculated. I always think they are made up numbers anyway.

In any case, an industry where 1.3 million highly paid people work should be a worthwhile market to pursue.