I downloaded a service manual just to have it. It seems complete. Oddly, it lists all sorts of special disks for servicing the player, but there is no actual set-up procedure. It's hard to believe there are no service adjustments. Does anybody know more?