Thank you, by the way! For some reason, I tried using Windows ISOs burned onto USBs using Rufus and even burning DVDs, but they would not give me the prompt nor even show up properly in the BIOS. Linux Mint 18 is out now, not that it matters too much, but I thought I would remind you of this article in case you wanted to edit it.
