[the otherwise anonymous GUEST above was me, could have sworn I typed Dave in Michigan, but ...]
Steve, I didn't claim that Robinson's tune was the "real" or "original" tune (after all, the Horns were carbon-dated to ... I forget, was it 11th century? and we know little to nothing of the history of the dance before the mid 19th C.), just that Robinson's is now the tune to which AB is usually danced by people who dance it, most of whom are not, of course, from AB. And I haven't done the extensive fieldwork that would be required to validate that hypothesis [hangs head in mock shame].
My information on the tune comes from a paper by Andy Bullen published (I think) in the Journal of the EFDSS; sorry, I have no citation in my head, as I got a copy from Andy himself circa 1982(?), and promptly filed it away somewhere "safe". Andy is the kind of person who could easily be a Mudcat member, though I don't know if he is, and I'm not currently in contact with him.