Just tried from Terasic website. Tried to order two for $225 each, they seemed to be available.

That said, the price has almost doubled in a few years...