Thanks, Andy.
Yeah, I took a few whacks at it, and decided that after using it for seven years, I deserved a better one.
Today, I ordered this one:
https://www.amazon.com/gp/product/B085SZCC5H
I'm not a fan of nonstick anything, but other than that, that one looks good.