This version now has 6.97GB when extracted, so definitely a DVD9. I'll burn it now, and let you know if it works fine.