If you're having trouble finding the boot options menu, try searching online using the name of your BIOS. However, it is likely located in the BIOS menu.