This works because (thankfully?) IE treats “height” how “min-height” is supposed to be treated.

div {
   min-height: 500px;
   height:auto !important;
   height: 500px;
}