I just heard from my distributor that Philips is discontinuing the 7500, and they (the distributor) had quite a few backorders for them. Has anybody else heard this? And if true, are they replacing it or merely letting the 9600 take over?