Seeing the name Amino kind of rang a bell...
Is this set-top box company linked to the Amiga in any way? ->
http://www.aminocom.com/Their boxes are PPC based (I opened one), and if one sees the job vacancies on the site, and reading between the lines, they are after people who can develop for something other than linux.
Given that these set-top boxes are quite successful, whatever proprietary OS is running inside surely provides a fortune magnitues higher than a shrink wrapped OS4 could provide, if you get what I mean.
Maybe the Amiga OS is still being used, and a lot, but behind the scenes, in the lucrative embedded market.
