I can't tell you which to choose but I can tell you my experience with 2 providers.
I had a hostgator dedicated server. It was not that great. It had strange compatibility issues that (probably) couldn't have been resolved.
I also had a digital ocean droplet that worked great for many years. I was much happier with them than host gator.
Of course, AWS is worth considering as well, but I don't have a recommendation.