Another Star Wars Blu-ray release would make money to justify its creation even if no one knows what version's on it. Knowledge that the OOT is on it in 4K could only add to that.
The only reason it hasn't happened is because, pre 2012, Lucas was in charge of things. I suppose now the hurdle is that 20th Century Fox owns the films but Disney owns Star Wars. Don't think they haven't talked about this, though. And whether or not the OOT is included (and at this point I don't see why it wouldn't be), you can probably bet on a new set of Star Wars Blu-rays in Q4 of 2015.