“Where can I print out a user manual for the laptop db0004dx? Also, I understand there is a print file for similar information on the sold laptops. What is there file name, and what file are they located in?”