There is no single correct answer, and why would anyone pay for Tyrax?

It was much more fun during an express poll with the following question: "The randomizer gave Stronghold vs. Stronghold vs. Jebus, how much to pay for Tyrax?".

It was some kind of Bay Cup. I was polling Bay players.

The most popular answer was a masterpiece - "Nothing, take Craig instead." And that's what Alex, Expert, and a bunch of other people answered.

Of course, I called them all noobs and bought Tyrax for about 1.5-2 thousand. And I think the opponent undersold him; I could have easily bargained up to 4-5 thousand.