Did you ever find it? I'm here now with the same problem.
Yes I did. Check the VA-11 HALL-A reddit and look for posts by "Its2la84me". Thats my handle.
