@rvpiano i was in similar situation, as I have been attempting to assemble an ‘end game’ system for retirement. I had upgraded digital side (Bluesound Vault 2i and Marantz SA-KI Ruby), and turned to analog side. I have about 3000 LPs (though could trim in half without losing much I value).
I actually have about your $4k in the rig itself … had a NOS VPI Classic 1 I’d not yet unboxed (long story), and added a SoundSmith Zephyr MIMC Star. Came from a Denon DP1200 and Grado F3+ w/8MZ stylus, and I’m very happy with the upgrade. Phono stage (Lehmann Black Cube SE) more than competent but the weak link, and may add SoundSmith’s phono pre before calling it done.