Phil Nelson:
Grub doesn't pause to allow me to choose the other boot option. Is there a config option to make it do that?
There is a "pause" command in the GRUB info file (it provides more details than the man file).
info grub
Navigate to the "commands" section, then the "menu" (commands) sub-section, and read the "pause" page.