4000€ should be possible (at least in Germany)
Here we still have enough budget to change to 64GiB and 7950X3D:
Even if I configure something like that at dubaro, the price is more in the 3500€ direction.
Or am I totally wrong and misunderstand something?