$12.5k is a good amount, especially if you consider used as well.
I would not rush with the decision, and yes, electronics is no less important. It is tough if you cannot audition what you would like to consider. Not everyone is running to buy Spatial Audio or Klipsch or JBL speakers.
What would I choose ? Not sure, but I would definitely go with lightly used or demo and so I would be looking at approximately $20k speakers.