How many "tickets" are in the pool?

Did we cross the $15,000 mark with the auctions that ended today?