Does 'grub --batch < /etc/grub.conf' or its grub2 equivalent really take that much time? I doubt that.