Thanks for taking my questions in the spirit intended.
A lot of folk talk about finding lifetime basses for $3k-3500. I'd imagine most of those finds occur in larger markets - and might need some work.
It sounds as tho you have a relatively healthy budget (although, presumably, you don't want to spend money unnecessarily.) IMO, if you found a "good enough" bass in the range of $5k, from a shop you like and can expect to stand behind it, that's enough to end the search.
I know nothing about Krutzes, but they seem to have a plenty good rep with folk who do. I would wager that it would take you some time to outgrow this bass - if, in fact, you ever did. While it may not appreciate in value as an investment, I'd bet it retains sufficient value that if you enjoyed it for a couple of years, any loss would be a very acceptable "rent."
I could imagine if you passed on this bass, you could continue your search for years w/o finding a bass you clearly liked better at a similar or lower price. Plus, added time and travel for an extended search have SOME cost. Just my guess/calculations.
Some folk enjoy an endless search and/or fall into decision paralysis. Others (including me) might make too rapid of a decision just to move forward. Just offering MHO that, provided they do a good job on the repair and reflect it in the price, you could close the door on your search and get busy w/ improving! Best wishes!