Hi,
for your (and everyone's) information, the 5.1 on this blu-ray (mixed by Trevor Horn) is not the same as the one from the 2005 DVD-Audio (mixed by Tim Weidner)
Thanks! That's surprising... and interesting! The 5.1 mix is noticeably different than how the Atmos mix folds down to 5.1, so that's pretty cool. Quite a few mixes of this album for folks to choose from.