I know this thread has not been updated in a while but I'm curious if contacting the printer/publisher for a discount price worked? If someone who has bought the manuals could list the name of the publisher and contact information, I'm sure something could be arranged for a group buy.
Thanks,
Chris