Lampl is in Peru. Would you like his personal email address? So we know he is not working hard on the problem but he likely would just write it off as a overzealous SEC official doing their job.