Skip down to where you use the F11 key in their documentation.
"Using the Recovery Manager
The recovery manager helps you recover your factory shipped computer programs and drivers should you experience a computer failure or instability. The recovery manager can be accessed by either of the following:
Click Start and start typing recovery in the search field. Select Recovery Manager from the list provided.
Recovery Manager is also accessible by pressing F11 during boot and allows users to recover the factory preinstalled image.