On a side note, does anyone know if you can use fast boot on a system which dual-boots with grub? I have a motherboard which supports fast-boot, but I understand enabling it makes it difficult to get into the BIOS so I am hesitant about enabling it.