The VCU1525 schematics and bom are available for anyone to produce. I have already sat down with Xilinx (in Shenzhen) and negotiated chip pricing. If there is enough interest, I could facilitate a chip purchase, put the chips on boards and deliver them at a regular price of $4,000-$4,500. To hit a $4,000-$4,500 and stay at $4,000-$4,500 there would need to be at least 1,000 boards sold. If order volume went up to or over 10,000 units pricing could be dropped to $3,000-$3,500 per unit.

You would be able to use the device with the firmwares produced by whitefire990

Any interest?

Payment methods would be Crypto (obviously) and Credit Card / Paypal (identity verification would be required and shipping to your registered / verified address)