If they replace it that's fine, But you can get an adapter from digital coax to optical audio. Like this onehttp://www.amazon.com/Digital-Coaxial-Toslink-Optical-Converter/dp/B001622FL8
FYI the digital coax audio is the same quality as the output from the optical connection