As I mentioned abough, there are hints for a module with 5 GHz used in the new generation of Devialets. Not confirmed yet. We will see.
I'm confused!
Airport Utility requires either "Auto" or a channel set in both 2.4GHz (I chose Channel 4) and 5GHz (I chose Channel 40).
When I then look in "About This Mac - Wifi" it shows the current network information for DevialetAudio (as set on my SD card in the Devialet) as Channel 40. This is confirmed in iStumbler.
But I can see on the latest Devialet web page that Devialet only cite 2.4GHz as being currently available? Odd!