02-04-2017, 08:02 PM
If you have it installed, then you should now be able to boot (cold boot, ie. power on) holding the right shift key, get to the advanced menu options, and edit the grub as seen in my earliest links in this thread.
Want to thank me? Click my [Thank] link.