Service Manual Instructions for Marantz 4230