Just to clarify things (though I agree there is sadly little than can be done anyway) I marked this bug as affecting grub because (if I recall correctly) using Shift would still sometimes yield the GRUB menu. We'll re-test this in the lab first though.
Ameet, Colin,
Just to clarify things (though I agree there is sadly little than can be done anyway) I marked this bug as affecting grub because (if I recall correctly) using Shift would still sometimes yield the GRUB menu. We'll re-test this in the lab first though.