Thank you for this information. You mentioned 6 hours. What is your opinion on how long it will take for them to complete and file with SEC?