Trying to keep as hot as possible without misrepresenting the contents)

- to me they seem like a solution waiting for a problem

I feel exactly the same. However, SC are a very interesting technology. I prefer to study it now, to be ready when the humanity is OK with electronic money (cryptocurrencies) and come to electronic contracts.

This is a problem of lack of decentralization in Ethereum. This is not a problem of smart contract as a concept.

Actually, smart contract DOES override existing law - if the subject of the contract is fully on-chain. In that case you can engage all the courts and police in the state, still, they won't be able to undo your transaction. Obviously, this does not apply to the example with PS3.

Contracts (both smart and traditional) are first of all logic constructions. And thus: 1) this logic can be implemented with vulnerabilities, no matter in paper or software form; 2) this logic can be bad by design, allowing undesired behavior of contractors. These are not problem of smart contracts only, but problems of any kind of contracts. They are much older than any software. And they need to be solved (at least partially) since people need contracts for the economy to function.