I agree, and furthermore, based on my own observations, it seems like a lot of Android users don't even know that their phone is running Android, much less have

I agree, and furthermore, based on my own observations, it seems like a lot of Android users don't even know that their phone is running Android, much less have ever heard of anything called "the Android marketplace". Those users don't count towards the size of the platform, by any useful metric.