Woowee. That will buy you a lot of nice speakers. However those are beauties! You'll have to weigh how often you see these come up for sale vs privilege of ownership.
When I went to an estate sale this gent was dickering around at the price of full rack Kenwood stereo. Reel to reel, tape, amp, pre the whole shebang. A beauty. He was hung up on $400 difference on what they wanted vs what he wanted to pay. All in pristine working condition.
I was watching a guy out of the corner of my eye seeing him turn over this miniature statue and that but not really interested.
So the first gent left without saying anything mumbling it's to high.
The second gent promptly bought it. Smart move. The first came back about 15 minutes later wanting to buy it. $400, 30 years and 15 minutes to late.
Here's my thoughts. Money, I can make more of. Maybe work extra overtime, hustle at odd jobs. Your JBL 4435 they ain't making it anymore. If they were (depending on condition) $2500 you'd buy them in a heartbeat correct? Don't let $500 stop you.
$3k Mint. No repairs needed drivers ok, surrounds excellent condition, smoke free etc. Yes get em.