The server said it is "onion sauce".
We've had a few different variations of it when we've eaten at steak restaurants here but are having trouble identifying it to buy some. Tastes kind of like an onion BBQ sauce. Would love to pick up a few bottles before we head home.
TIA
by xinxai_the_white_guy