They should have got up and walked out or simply complained to the restaurant manager.
If they were the kind of people who were ill-mannered enough to squirt ketchup on the table I expect the waiters didn't want to serve them or were afraid of approaching them. Would you expect waiter service anyway in a restaurant where you sit at a wall bar? Maybe they were supposed to go to the counter to order.