If Revel flops, NJ taxpayers won't lose a dime (8/20)