I’m not from the EU, so if I wanted to return it for repair, I would have to pay the export taxes to send it to Netherlands + shipping, then the extra taxes and customs when it arrives back here + shipping. It would cost me about $1200 just to send it to the EU and then to have it sent back here

(I'm not kidding). I just have to risk.