Late reply but for posterity: yes I always manual focus, and tried sharpen/denoise in LrC, didn’t look the same. Now retrospectively I suspect that something was wrong with my lens. In either case, I sold the camera/lens system as I didn’t have more time to figure out why at the time.
I am back though with another attempt.