Would a service manual help?
https://www.hifiengine.com/hfe_downloads/index.php?marantz/marantz_4230_service.pdf
You may have to start an account with them. All free and painless.
Hope this is helpful,,I would check for presence of voltage (DC) on light power rail,
make sure LEDs are correct...