Comment by ex-aws-dude

It doesn't really matter because the insurance company itself will learn if that is correct or not when the claims start coming in

Its their own bet to make