Comment by HDBaseT

Yes, but you presented it like the product cost would be $250,000. You also failed to include the main selling point... It's a RISC-V chip.