All of this uproar is completely unfounded.
Amiga can on the basis of its tradename alone oppose any use of the Amiga trademark by other parties.
Tradenames do not require any prior registration.
Moreover, US trademark law also recognise "common law" trademarks which also do not require registration.
In short, I'm seeing a lot of fuss about nothing .
To the extent that the quoted database is even up to date, the fact that are or are not registered there doesn't prevent you from having a perfectly valid "common law" trademark under US law.
