3 ms·

I really hope they do, but I'd hate to lose him as a colleague. Unfortunately it's likely to be one or the other.