I have a question about grub. Anytime we modify it we have to run update-grub? Is it update grub or update-grub or what? -- :-)~MIKE~(-: