DOS-11/BATCH-11 manuals on Ebay

[Mattis Lind via cctalk]

http://www.ebay.com/itm/361940854169

One of them does not seems to be at bitsavers.

The shipping is way to high to have them shipped to Sweden and scanned.
Maybe someone in the US would care to buy and scan it?

/Mattis