There is one more I might mention simply for it’s pure optical sharpness. The Russian military 7X30 can be had for $200 if you really look around.
It is not ideal for your purpose because it has a slight yellowish tint and includes filters for an even yellower tint if you want. You might not even notice that tint but knowledgeable birders would not want it. They also have individually adjustable eyepieces which are not as convenient but are just about standard on any military binocular.
The good thing is that they are as sharp optically as typical $2000 binoculars. Cheap binoculars typically have a two element eyepiece. The better ones have 3 elements and the really high end have 5. Believe it or not those Russian ones have seven optical elements in just the eyepieces.
Wow, sounds like good equipment at a good price, I will look!