More or bigger. Allowing for 20,000 attendees would be huge for WWDC. Currently there are only 5-6,000 tickets available. I imagine it would probably still sell out at 20,000, but it would be a lot less crazy, at least.
I must hang out in the unpopular labs. My experience has been that the engineers currently have a lot of down time and it's really easy to get their attention if you want it.