If I was in your shoes I'd take a serious look at this
https://www.audiogon.com/listings/lis92i19-thoress-phono-enhancer-german-made-phonostage-phono
Obviously a ARC Ref2SE Phono is easily within your budget (I know having just had to let mine go at <$6K)
https://www.audiogon.com/listings/lis92i19-thoress-phono-enhancer-german-made-phonostage-phono
Obviously a ARC Ref2SE Phono is easily within your budget (I know having just had to let mine go at <$6K)