3 ms·

I mean, 7 / 2 × 250 = 875. Not far off? There's even filter coffee here in the Netherlands that's about 4 euros a kilo.