Ketchup keeps well at room temperature. Its turnover in a restaurant or a diner can be pretty quick. Hence, refrigeration is likely unnecessary.