So I guess the only way to put the high bitrate audio on the 1080p file would be to download both, demux the 720p file and mux the audio together with the 1080p video. Would that actually improve quality, or is the DASH audio still the closest to the source (and the 720p one just re-encoded at a higher bitrate)?