Or maybe you want all of the toppings: tangy ketchup, lots of mustard and ... Once the filling is hot and the peppers are tender, sprinkle them with more cheese and serve with all of your favorite ...