If you go to the IPACS free model download page for AF5 http://www.ipacs.de/forum/forumdispl...ost&order=desc
you'll find some user created models. Many new models and sceneries are also included in new free updates http://www.aerofly.com/downloads_en.html
However, the two models you mentioned are not available. The developer kit has been released in German language and I expect it to be released in English soon. With this kit, users will be able to design and create their own models and hopefully we will see more user created models.