Thanks, J.Nielsen, for the reply!
I spoke to one leadership coach. They clarified that a career coach helps with resumes and mock interviews, while a leadership/executive coach helps with goal setting, improving the way you show up for your team, and reaching the next level in your career, whatever that may be. The service is pricey, more than $1k per month, or $700 per session (based on my one data point). I have decided to hold off for now, and am instead perusing some leadership, healthy habits, goal setting books available from my library or audible. So far, it’s been helpful just to put some thought into the idea of leadership, so I’ll keep going and see where it leads me.