We're thinking along the same lines, as I was just looking into that, myself! MGM has released it to DVD, on its own and as part of a Billy Wilder boxed set.