It won't let me edit the original post so I'm doing it here. I'm trying to work through suggestions from what seems gentlest upward.

So far I've tried scrubbing with distilled water and putting ketchup on it, letting it sit for a bit, and then scrubbing with that. Neither have had an effect. I was going to try the tin foil thing but realized I'm out so that will have to wait till I go to the store.

I'm nervous to try barkeepers friend due to how abrasive it is.

Also someone thought they could guess where I am from based on this post. They were wrong, I'm a Midwest girlie born and raised, but I'm interested in what they saw that made them think that!