If you have registered your machine, the correct file format should automatically be selected in the Karaoke Store for you. However, you can always change the file format under MY ACCOUNT.
If you are unsure of which file format you should be downloading karaoke songs in, search for your model number in the search field above. The results from this search will let you know which file format your machine uses.