Auf MP3 würde ich zur Not verzichten – sollte eh verschwinden. Aber: Ja, grundaätzlich sollte MP3 inbegriffen sein.