> "The XMOS AVB Reference Design Kit is priced at US$3750"

That was 3 years ago. It's currently available for 349 USD:

http://www.digikey.com/product-detail/en/XK-AVB-LC-SYS