.
tipico casino down expt