Anyway, I agree that DVD-9 is the way to go (although if the difference really is negligible, maybe making both available wouldn't hurt just to be fair)
With any other movie I wouldn't care but, this being Star Wars and all, it deserves the best presentation possible.