That’s not quite right. The actual question there was how many work on PureOS for the phone, and if try to count 20 devs on the team page, it becomes clear they can’t all be dedicated to the phone. The new, (phone specific) faces seem to be ~15, needing to be fed by the campaign money.
Also, remember that there is a continuous money inflow. At the end of the campaign we were at about 3000 devices ordered, with an average of at least 3 devices sold per day in the months after. So my conservative estimation was that this could have doubled to 6000 phones by June.
However, Todd said in that episode that shipping the devkits led to an unexpected wave of orders. I also did not factor in the effect of recent marketing efforts.
I hope there is one 
So maybe they are actually closer to 10,000 pre-orders by now? I would sure hope so.