Thanks a lot for info!
I believe the emitter resistors are 0.2R and 65mA seems reasonable. Does the data come from the service manual? Somewhat difficult finding technical info on EC amplifiers on the web. The amplifier works fine, but just wanted to check since it runs quite hot.