1- Since the issue happens in both tv-led and player-led. I think it's caused by something before or after the file goes through the Dolby engine. (something similar to the bt2020 flag issue with RGB DV)
I don't believe at all that the Dolby SDK is any different than the one on the firestick TV.
3- well both formats will give the same quality, none of them is pointless ....