My bad. I left the browser tab open from yesterday, but as soon as I refreshed I see your number.
Well, it's up to 7400 now just in the last few minutes, so it does seem to be pretty logjammed.
Broadcasting txs is free... so it could be 100 million for the lolz (without a strict mempool size).
What matters is whether these txs will ever be included - and if they are paying peanuts, or nothing, they shouldn't.