Anyone have any advice on which would be the best way to go for SDI? DV88+ (my current player) modified? 3910? A11? Has to be MR - and a bit of a tricky one, because most of the more expensive players feature better post-decoder trickery, none of which will be used... Any experience on this folks?