I'd be interested in buying and tinkering with one... I'm not afraid getting my hands dirty with embedded Linux stuff, the only thing I am afraid of is that I end up with a board that (despite saying "production run") has some issue on the PCB that makes core functionality (e.g. CPU, RAM, display, USB-C or WiFi) unable to work in hardware.

What are the options in case there indeed is some sort of defect on the PCB?