I was shocked that the industry grew from $15 billion to $135 billion in a decade, but it looks like back in 2010 the actual size was about $80 billion. Not that I think he was being misleading or anything, I'm sure it was more of an offhand comment.