4 ms·

Not my wording. I was responding to someone who was confused whether pilot refers to the normal ship's crew (it does not).