The error messages that appeared before the grub menu are gone. I thank
those who coached me through the fix.
It seems the size of the font in the grub menu is not under my control.
Realistically, there's nothing I/we can do about it. So I'm closing
this thread.