I would explore the market for a good integrated amplifier in the $2000-$2500 range, possibly with phonostage, and of the remaining $2500-$3000 dollars I would allocate more to the vinyl side than to the DAC if vinyl was of equal importance.
What sources are to be used with the DAC?
What sources are to be used with the DAC?