job lot of Atari manuals.