Casino investors' hopes for CDS payout dashed again