A quick google says 18.6 million for the US, so I think you're right on to question this.