it costs 2-3 million to create a typical ASIC
it costs 30 million to more than a billion to devope a state of the art ASIC.
these are well accepted numbers from various manufacturers.
https://bitcointalksearch.org/topic/designing-the-next-generation-fast-crypto-currency-mining-machine-179033
200-400K is reasonable I doubt Avalon had 3-4Million for development. Or he could have just developed it himself and spend much less money.