file format. Users typically download these to a USB drive to perform a "local upgrade" via the receiver’s system menu. The site provides specific "upgrade boot"