Great to hear from you! Your input has always been helpful to me.
I do understand that logic....however I also think based on other software I have used there is precedent for functionality that would work this way:
Yes, you need to buy the DD license to get DD encoding and here is the link (they already do that). Then, once you buy that license we unlock this wonderful functionality that we have implied in our advertising for years which allows an integrated round-trip Dynamic link with Encore. Well, they just say you "can" do it, they never say you can only do it with stereo tracks except maybe in some footnote.
When I buy add-on video effects for Pr Pro, you have to work around a kludge to get them to work. They integrate and just work as they should.
Anyway, I was just checking. I understand you could not get DD5.1 encoding out of the box. However, if you buy the plug-in, I think Adobe should provide the functionality for their users. Just my opinion.