Ordering from Terasic will get you a board much quicker than waiting for one to show up at a distributor like Digikey given the current supply situation. Shipping times from Terasic also tend to be much quicker than they quote on their site. However, their shipping charges are quite steep, and you might get hit with duties as well.