Might buy a USB stick so I can grub-repair