This really begs the question "how many redbook CD's do you have?" If your collection is large (i.e. in excess of $20-30k) and growing, then a good redbook player may be in order. (I do think $10k is excessive however...)
If not, wait and see -- if nothing else, mod your existing player.
If not, wait and see -- if nothing else, mod your existing player.