4 ms·

Considering how easy it is to make decent ketchup, I'm surprised that most restaurants don't bother.