The MacBook Pro is off to an Apple repair center. It’ll take 5-10 days to repair. I ordered a new MacBook Pro (a 2020 model with the new keyboard) from the parking lot of the repair shop and picked it up on the way home. I’ll decide what to do with the old MacBook Pro when I get it back.
Stay healthy and safe.