I'm generally skeptical of ethereum but i don't think this claim is quite right. First, they didn't lose 10k "into the ether" it just went to miners as a fee for processing their transaction. Additionally, the fee was paid for priority. There is a limited amount of block space so people can pay extra to make sure they're included. I know it's cliche but this is literally a feature not a bug