Going to be played off the HiFiMan so 16bit and 24bit loseless files and a great sounding system.

Worth getting the 535 for this quality of source or maybe just stick with the 425?