Confirmed. I can access the terminals via the F* keys, which are just the fancy keys across the top of the keyboard. Cheers.