Oh you’re only a version away from it, they may grace you up to 9.5+ as you can’t purchase it… You never know!
Had a quick search on the forums and notice that the shop item hasn’t been working for 4+ years:-
Also, MP3 export is just a standard ‘expected’ feature nowadays i don’t think they would even highlight that on their feature/comparison matrixes anymore.