ManualsPlus is having a 50% off sale for print manuals -- they have an enormous selection -- the sale is just for the month of December. http://www.manualsplus.com