Mayo Ketchup is a restaurant.