2 ms·

Agree with your suggestion, but the cost of lawyers is probably too much in light of it only being 16 hours work.