4 ms·

Especially given that the 3k probably cost them much much less and it's probably also tax deductible...