> was that an A1X1K?

Yes, probably. There was one announced to be there:

http://amigaworld.net/modules/news/article.php?storyid=6473
http://moobunny.dreamhosters.com/cgi/mbthread.pl/amiga/expand/226328
http://moobunny.dreamhosters.com/cgi/mbthread.pl/amiga/expand/228215

> Video #5 seems to be from 2010

Actually, the 5th video is the Alinea one, probably without any relation to MorphOS though (instead mostly about new classic hardware apparently).