For the benefit of others, it turned out to be simple yet awkward. None of the "freely-available" driver files worked, but a support case with Asus yielded a set of drivers with a subtly-different filename that I didn't initially spot. In short, they worked. The solution made no sense interms of...