Well, I wouldn't want the size of the audio files to be much larger than the '85 mix that was provided by CatBus, because already as it is, there won't be much space for the menu and all the extras.
Depending on how much space will be needed for the extras, I might actually only include the three '77 mixes in lossless.