“4409”? What’s that? Ron Paul’s lucky lottery number?