I bought the German version (I'm from the Netherlands) but you can set that box version to English language and it works fine (with subtitles). https://www.amazon.de/-/nl/dp/B0150QGRDW/ref=sr_1_4?__mk_nl_NL=%C3%85M%C3%85%C5%BD%C3%95%C3%91&dchild=1&keywords=miami+vice&qid=1601279935&sr=8-4
I also bought this in Germany for around 70 dollar (complete DVD box). It is German dubbed but you can set it to English and works great!
What I find weird is that there is a VHS option at the Amazon link, what is that about? https://www.amazon.com/Miami-Vice-Movie-Don-Johnson/dp/6300183785/ref=tmm_other_meta_binding_swatch_0?_encoding=UTF8&qid=&sr=
Two collections worth getting are:
Miami Vice: Complete Collection (2 CDs - 42 songs & a 12-page booklet. 22 tracks previously unreleased)
https://www.amazon.com/Miami-Vice-Collection-Jan-Hammer/dp/B00005YORR
Another good one:
Escape From Television (1 CD - 15 tracks)
https://www.amazon.com/Escape-Television-JAN-HAMMER/dp/B000026E1Y/ref=ntt_mus_dp_dpt_3
That one does include a remixed Crockett's Theme - called the 9mm mix. The album cover on the youtube video you've linked does show that it came from "Escape from Television" so that may be at least 1 of the ones you are looking for.