Many thanks for this, using your instructions I have successfully modified my Grub menu.