Surely you can just go mini-displayport to HDMI, optical back to HDMI.
But just answering my own question, with a question, I know the mini display ports on the laptops offer digital audio alongside the digital video, but do graphic cards on Mac Pro's offer this?? Hmmm!! Alternatively surely there is a box that combines the DVI signal with either optical or analogue to give you HDMI output!!???