I think exactly the same. But instead of a receiver i recommend for example in the Sansui line the AU series or the alpha series.
I have also a top system so surprising for the price i pity those who had paid more for a marginal S.Q. differences, then i believe you . To beat my 1000 dollars system think about minimum 15,000 bucks. And even with it Only the Immanis probably can beat my modified K340 .
I suggest the same to the OP : low cost product with acoustic thinking and reading and experiments .
Since there are already a lot of good suggestions on this thread, I thought I’d give an "out of the box" idea: A vintage, mid seventies receiver! With your budget, you could get a really nice Marantz/Harmon Kardon/Sansui/Sony/Pioneer receiver. They look amazing when fully restored with LED kits and would match your Sennheisers from the 70s perfectly! All you would need is a Schiit Audio DAC and you’re in business.
I have a top of the line system, but my integrated amp doesn’t have a headphone jack, so I’m using a Tandberg TR-2045 from 1978 as my headphone amp for the rare, late-night listening seshes and it sounds phenomenal (I use Sennheiser HD 600s).
Just another option.
Good Luck!