0345 365 3605
Mon-Thurs 9 - 5:30 & Fri 10 - 5pm
Hi, it should be fine for printing up to 1000 pages per print job but bear in mind if you manuals contain more than just text (so contain images or shaded areas), the cartridge will run out quicker and not achieve the full 1000 pages.
Unfortunately there aren't many small printers with low cost single toners. For a second hand printer, Brother are quite good at manufacturing small mono printers and there are some fair decent Brother printers that you might be able to get second hand. Look for any of the printers that use the TN2410 toner (prints up to 1200 pages) here: https://www.tonergiant.co.uk/product/Brother-TN2410-Toner-Cartridge-TN2410-97335/ (the printers it works in are listed on the page).