RTX 3080 Ti (laptop) + proprietary drivers = lights out

Yeah, it’s already installed. Actually, just before you responded, I found this:

I booted with runlevel 3, was able to drop to terminal, make the changes to grub and reboot. Bingo, works!! Thanks, you made my day.