3 ms·

I see, still seems like a good deal to me - cutting 2 hours for 10% that is. Depends on how much you value your free time I guess.