Well, if someone knows of a free or cheap font that they can recommend as preferable, I am all ears. But in general the old font was hated by most people (not most people here, but most reviewers and general commentators), and it's not something I can legally use anyway in the way I need to, so it's a moot point either way. I don't mind spending even a few hundred dollars for a font if it's really good, but bear in mind that the vast majority of "free" fonts have strict clauses saying that they cannot be redistributed. When you call to ask how much those are, typical quotes are then $2,000 to $10,000. I'm not looking to spend that much.
In general, I much prefer the new font anyway. There are a few issues with spacing and such, but I think those can be worked out.