I believe this forum us about the ilive series mixers, but it looks like that board has a spdif digital out. You could do a simple board mix by sending that to an interface with a spdif input. There are way too many options there to make any suggestion.
Looking at a T112/48. 
