Ketchup from In-N-Out Burger also works.
How about garlic mayo from Bad Daddy’s?
I’ll give it a shot.