If used for NV observing then you want something reasonably fast. AND if the same scope is used for high power lunar/planetary observing then you want excellent color correction and high quality optics. Those requirements lean towards apo triplets.
And since you already have some 100mm refractors, and with the $5,000 budget, one might consider these…
Stellarvue 130 F7: $4,995
TS-Optics PHOTOLINE 130 mm f/7 FPL53 Triplet Apo - 3.7" focuser: Chinese optics:
TS-Optics Photoline 140 mm f/6.5 Super Triplet Apo with “2 ED” elements: Chinese optics: around $4,000
Takahashi TSA 120 F7.5: $4,340
There are some 6” triplets available (Astro-Tech and APM) with Chinese optics for under $5,000 but they are F8 and, have course, larger/bulker so it depends on your mount and tolerance for setup and takedown.
Of course, the used market is also an option: There’s an APM 130 F6 for $5,500 right now on A-Mart that would be excellent for NV and visual.
I use a Tak TSA 120 with NV and love the scope for that use. It can be reduced to around F5.25 with an inexpensive Antares .7 reducer, or Barlowed for more focal length. The TSA 120 also has superb optics for lunar/planetary observing and at 13-pounds (bare OTA) is reasonably portable.
I also have a fast 4” refractor and a slower C8 that I pair for NV use. But when I want to take out just one scope, it’s the TSA 120.
Good luck with your search.