I deleted the posting because I was afraid it might make the oil guy seem, well, not that smart.

Actually billionaires tend to be rather laid back about such things. To us this would represent a serious loss. For him it might have been a day's pay.

They don't sweat the small stuff.