That would actually not have bothered me in the least, DR John G., but thank you for being considerate anyway!
Four ways, eh? What do you skip - the onion or beans?
Haven't had a Coney there, but man, that chili is the perfect kind for hot dogs, so I shall do that.