3 ms·

That doesn’t sound bad, for extra redundancy?