I don't think anyone knows. The issue is that David Brotherston (owner of AstroHaven) has a blind spot on this. He sells the AstroHaven to the military and universities that (still) use grad-student-ware. How they actually do it is unknown since (I don't think) the regular AstroHaven doesn't have a position sensor.