2 ms·

Bugs aren't that big a deal for users usually though. Also all ships leak, that's not a big deal either.