Thanks! I knew it was in-house beer ketchup. There are a few in my family who are very pro Big Ketchup and refuse to go if there isn't normal ketchup. I'll just be That Person and bring my own so we can enjoy the best burgers again.