I don't know that for sure. I am making an assumption that if Web Designer 9 is now Web Designer 10 that Designer Pro X9 will be called Designer Pro X10.

But as we used to say in the Army, assume makes an ass our of u and me. (Well I did not say that, but I heard it often enough )