I have no experience with the Formex coop. However if you want to make this worp with an autodoor, there is another solution in the market.
Not the complete anwer to your question, but it might be a start in your search :)
https://www.mypetchicken.com/products/hentronix-automatic-chicken-coop-door