Tickets for WWDC going for $2500.