And you can bet the coverage and bailout money will both be a lot larger than Puerto Rico despite a 15 year warning period.