Panasonic RF-4800
Years ago I owned an RF-4900. It was a nice receiver. The RF-4800 is almost identical, except that the frequency counter does not function below 3MHz. I would think that much of the service manual will apply to the RF-4900.
Basic info on the RF-4800: <Here> and <Here>