Turns out I could have done this with “bar keepers friend” in under 10 minutes. But I didnt have any on hand, nor the desire to drive and buy some. So instead I went 4 rounds of ketchup, some baking soda, lots of scrubbing, gagging and then a lime & salt paste to finish. But in the end-it worked.