Probleem is ondertussen opgelost: ik heb een overjaarse, maar nieuwe Marantz CD 63 mk II KI sig op de kop kunnen tikken voor een "prijsje".
Deze voldoet ten volle en ook de hoofdtelefoonaansluiting lijkt mij prima (o.a. stukken meer vermogen dan enkele modellen van Sony die ik beluisterde).
Ik heb geen ervaring met een specifieke hoofdtelefoonversterker, maar heb hier voorlopig (nog) geen behoefte aan.