No, I have the 3250HD and the 30K. There's nothing special that you really should have to do. Turn the 4200 to an HD channel and connect it to the JVC. The 30K should detect the 4200 immediately and label it I-1 if you don't have any other firewire devices attached to it. You should now be able to view the 4200's output via the 30K's component connection. Hit REC when ready and voila!