Avid HDX ASIO

Hi
Can anyone confirm that Avid HDX asio drivers (asio driver for protools hardware) works with Juce ASIO?
We have a customer who can’t get this to work, even though the same driver works in other apps.
When selected there is a Juce alert window saying “Bad driver”, but I can’t find that message anywhere in our code, or the Juce code.