4 ms·

Thanks - this was my calculation but with, I think, one generation older node density - hence the approx 2x factor difference.