I voted neither, just salt/pepper. With that being said, I have had ketchup with my scrambled eggs and while I don’t mind it, it’s not something I routinely eat. If at a diner and the eggs are dry, I have been known to use some ketchup. My dad used to use ketchup or chili sauce, DH uses ketchup. I am a huge ketchup user and surprised ketchup on my eggs is not an all the time thing.