Well, ..., everyone will tell you get a simple scope learn the night sky and then go for a complex scope. However, if you're already into tech and are patient enough to learn a new technology then, I feel this is bad advice. My first scope (and it's still my scope) out of the gate was a Meade LX200 10" (see link 1 below). You can buy one on-online for $3400.
I started off with a high end scope and was successful at using it. Plus by buying a high end piece of equipment it will last for many many years to come.
BTW, with the money you have left over, you may want to buy an decent astrovideo camera, such as, the ASI1600MC Pro (color) (see link 2 below) for another $1000.
That will bring your total to $4,400
You'll need to pay tax on all of that but in the end you should have around 300 left for have some money left over to buy some attachments ... like and external battery and inverter for powering it and your laptop, scope and camera in the field plus some cold weather gear like artic coveralls to keeo you warm.
Yeah, I know I'm starting you off with a lot of tech that will take you time to learn but, if you're committed, you'll have fun doing it.
BTW, I should let you know that even in large aperture scopes planets are tiny. That's because, given the scale of the universe they are small objects. However, a scope such as the 10" LX200 will give you amazing views of deep sky objects such as the Orion nebula, Great Cluster, Dumbbell nebula, and much much more.