When the box starts up, grub's default time is about 4 seconds; how do I change that? I remember seeing it posted once before, but forgot to write down... John