@globalkeith - See https://help.ubuntu.com/community/Grub2/Troubleshooting#Editing_the_GRUB_2_Menu_During_Boot
@globalkeith - See https:/ /help.ubuntu. com/community/ Grub2/Troublesh ooting# Editing_ the_GRUB_ 2_Menu_ During_ Boot