Black Magic Design was supposed to star selling an USB hardware H.264 encoder, which sounds like a great idea, but their web site has been saying "shipping soon" for some time. Any one knows about other hardware encoding options?