Even if Infrogrames owns the rights to Atari hardware, I don't think they have the documentation to prove it - I remember a few years ago when Atari was "cleaned up" (around the JTS -> Hasbro era) a whole lot of original schematics and documents were being sold by some enterprising atari company on the USA - toad computers? someone like that....
They said it was original, all this stuff bought cheaply from JTS or Hasbro. Sorry i can't remember more...