7 ms·

Yup, I think you got it (especially how comments are an afterthought, and cost/benefit is therefore completely different).