Finding the file was the hardest part. I eventually located a mirror on a technical forum, as my ISP’s official support page was outdated. The file came as a .bin or .img file.