....Well, they can't be EL90s anyway, so if they are not EL84s they must be another of the '8*' range - other less common tubes in the range used as audio outputs were EL81s and EL86s.
It may be worth checking the pin connections with these tube specs - EL86s are still available anyway as replacements.
It may be worth checking the pin connections with these tube specs - EL86s are still available anyway as replacements.