I have $6500, but still won’t buy the WXs because in the end, they’re still just 50mm binoculars.
If I was going to buy a pai of binoculars for that price, here is what I’d get:
Have you looked through one of these Fujinon 150s? The optical design is considerably out dated IMO (strong CA, small eyepiece and fixed mag). Except you have plan to mount it on a ship.
For similar price, astronomy use, the APM 150ED binoculars with 2 inch interchangeable eyepieces should be a much better choice, which you would enjoy modern eyepieces and level of correction in objective lens, and a angled view.