Joe, thanks I'll probably then just use mouse to restart and shut down.

But the option hold down while rebooting or shift, I don't know by heart, does not do the select volume trick as on imac?

BTW Joe: I've known a great many troubles, but most of them never happened. Mark Twain