3 ms·Did this manual ship with the console? Or was it just for repair guys?by joe__f 4y agoDid this manual ship with the console? Or was it just for repair guys?