It varies from restaurant to restaurant. Some places use pizza sauce, others use bbq sauce, and some use ketchup-mustard sauce.