Yeah, but there are all kinds of "regular" mustard! Assuming you mean yellow, do you like French's, Heinz, Plochman's, Whataburger, or something else? Also in some homes, like this one, the "regular" mustard is Maille Dijon. For a Texas style burger I think the Whataburger mustard is the best.
Also if you like tater tots/potato puffs and ketchup, the Melinda's habanero ketchup is really good. Oddly, it isn't as hot as the jalapeño.
I have three basic "go to" variations.
Ketchup, stone ground mustard, dill pickle chips (or bread and utter chips, whichever is available) and every now and then a thick slice of extra sharp cheddar. Sometimes, I'll add some sauteed onions.
Lettuce, tomato and Miracle Whip.
Sauteed mushrooms and swiss cheese.