If there is any recommendation I can give than it would be in getting an external DA converter together with a good player. My experiences have been that it is an outstanding improvement. You can spend a reasonable amount of money on the drive, Marantz would deliver good ones, Esoteric probably top end. For the DA section I would go for 1000-1500 USD, personally I can recommend
RME ADI-2 DAC, which is phenomenal. Give it a go and you spend your 5K wisely.