I seriously doubt their revenue is drying up. Pros don't make money off other pros, they make money off the tourists and semi-serious amateurs. I'll bet there are a lot of people who play micro stakes online but play much bigger on a gambling vacation. These people might have played craps or blackjack 5 years ago but now more of them are playing poker and while they may even be better than the tourist of 5 years ago there is so much more poker being played out of people's league that the pro's overlay is probably just as good if not better.