Add condiments

Add condiments. Ketchup is the classic in this case, but a squirt of mustard or mayo only adds extra flavor.