Dan,
There are a number of options from DIY to PMS and others that offer this mod.
Basically you solder a ribbon cable to the video board and drill a hole for a BNC connector that is the SDI out. The places that do the mod get a pretty penny for doing it.
Mark