IMO the rollback would be the better option, then leaving the coins in the hands of the thief. 

Whats the problem with a rollback ? Basicly nobody looses anything , just the thief.