DDR = double data rate so 800x2 = 1600
The name of the kit doesn't make a difference. There are 1600 kits with 11 timings and some might disagree but that is acceptable considering you are OCIng. The lower timings at 1600 is better than the 1333. Also, I think with some manual tweaking you can achieve 9s.