The first option worked perfectly. Thanks!The only problem is that Android v25 cannot be installed in this way (not listed on the web page), so I had to use v23.
But after that you should be able to install v25 OTA?