Personally, I wouldn't spend £4k on a CDP of any stripe. I'd spend most on a decent server, or server-DAC combo, rip the CDs and put them out of the way. This also opens up internet radio and assorted streaming possibilities.
Once I got honest with myself, I realised that my £300 2003 vintage Rotel RCD 965 BX was NOT significantly bettered by a TEAC P-30/Benchmark DAC1 combo despite the approx £4k price tag. I'd add that I have heard many of the pricey CDPs, including a Linn CD12, the top NAIMS, Meridians etc., and some very pricey DACs from assorted makers. I'm pretty sure that differences exist. Whether they constitute significant improvements is of course a matter of taste.
Now that might be my ageing ears.. but they are all I have to go on and therefore all that matters.