4 ms·

But the real question is whether he is as happy as he would have been had he persevered and did it the other way.