Indeed, I did get a pump a few days ago. I was almost going to use it yesterday, but just getting up on the ladder and cleaning out the current drainhole cover/strainer immediately solved the problem.
Family is not happy with the expense, but I rationalized that we have enough water vulnerabilities in NorCal that it’s worth it to have a pump in the event of an emergency.
I definitely need to get the ponding issue solved, and my handyperson is coming over soon to assist. Even with the very heavy rains we’re getting now, as long as the draincover is clean, there are no issues.