Ctrl+Alt+T worked very nicely, thank you. It even worked on my Logitech keyboard. Since I can access the shell, I don't care much about the other function keys.