I couldn’t find a direct, legal source for the to provide as a downloadable file. Service manuals for this model (part of the 7400 series) are copyrighted and typically sold through Xerox’s official parts/technical channels.