Their names are, Ketchup, Mustard, Relish, Jalapeno and Mayo

I can totally see Sans naming them after condiments.