This is correct, Amiga Inc. have a live claim. Also you should look up "likelihood of confusion" in US law as this is why a case (or anything computer-related)with the Amiga branding would be in breach of the trademark(despite it not being specifically listed on the claim).
