I have the open-backed Audeze LCD-2, and they’ve completely redefined what I thought a headphone is capable of. Incredible. I can’t imagine they’ll have compromised much, to make a closed-back one, though as you say, you’re only using them at home anyway, so it’s probably not so much of an issue.
Once you’ve heard a decent pair of electrostatic phones, there’s no going back.
I’d love Stax headphones, but I hate buying the bottom rung on any ladder as I get the jitters knowing there is something much better. Stax go very expensive, you obviously need the valve amp system etc etc. The Raals start expensive but don’t need a dedicated amp. Just that they are 5x your budget and open…
I had the bottom Stax set a few years ago. Decent, but hardly any lower frequency out of them, so moved them on. I have several pairs of different brands now, and it’s worth trying a few on if you can, as there can be a big difference in comfort between them. Some have high clamping force, or are noticeably heavier.
Good thing with 'phones is it is easy to buy a few pairs used or ex dem, and move on the ones that don’t suit, without losing too much cash in the process.