They did indeed. This was, in fact, a tiny bug hiding in the ARMember code. They promptly sent me a patch which has seemingly fixed the problem.
I expect this fix will be included in the next update for ARMember, so hopefully, no one else will run into this problem.
Very impressed and very happy with the support team!
