Perhaps @orb85750 should have made things clearer:
He wrote "the Amiga trademark" not the AmigaOS trademark. Though he might have intended to set up a hypothetical alternative scenario to A-Eon (AmigaOne brand, AmigaOS world-wide rights, and ~$250k), he didn't make it clear enough.
If I owned the Amiga trademark, I'd sell it. Y'all are placing way too much meaning on a name. So I'm sure some fool out there will pay some stupid amount for it, not the $10M+ Bill McEwan is asking for but anything over $1M is a bonus. Add to that the $100k-$200k and I would form a start-up for a new computing platform.