Thanks to all who responded, but I have sold the A/UX manual set. However, I got mail from Ned Rhodes (rhodes at grebyn.com) who said he had a set for sale too. He asked me to forward offers to him, so I hope he doesn't mind me posting his name here.