That’s a great tip. I remember wanting to report this to some authority then but just didn’t have the time to deal with it. I wonder if I can still do it now after this has been settled (the claim was eventually paid, months late, after many many hours spent on phone calls).