I've done most of the above successfully, too. Hot water from the tap works just as well as boiling it, for me, anyway. Let it soak and scrape with something hard first with no cleaners. We happen to have flat-edge cooking spoons that work wonders! I get as much of the "gunk" off like that first and then move to the cleaners...baking soda and/or Kleen King with a scrubby of some kind. Right now I am in love with stainless steel ones that have a bunch of tightly coiled strands of stainless steel bunched together. I am on my last one and do not recall the brand or packaging, but I will be finding more of these. They work great on our stainless steel pots and pans! (They do not work on our white porcelain sink - LOL - which is actually a good thing!)
BEST WISHES!!!