Hi Rod,
Ajo has provided the answer, but I want to mention that this article will point you (or others who find this later) in the right direction: Which version of EXOS is supported on my hardware?
Regarding the BD10k, this page is where you want to look in the document the above article mentions.