Don't some DVD players/sound cards already have this kind of "virtualisation" for headphones? Binaural recordings are great, but I don't think they're of any real use with 5.1 mixes - it certainly won't make them sound any better.
I think the only way to make a decent binaural mix for a sci-fi movie would be in the computer, with completely separate sound elements with 3D positions.
DE