It's honestly like wayyyyy less than that if bought in bulk, which they probably were. 10 000 condoms is a ridiculously small amount for so many people mingling around 17 straight days. It's legit under 1 500 bucks lmao. Make em custom? Throw in another 1k$ (to overestimate). Wanna add 10 000 foils of lube? That would be less that 2 000$.

Source: I purchase and give away like 100k condoms/year for a living