I took the first option. I'd never fork out for a linux box running an emulator.
As for those who don't think a PPC MOBO constitutes an Amiga - in my not-so-humble opinion, if it runs an Amiga-like operating system, be that Amiga OS (any version), MorphOS or AROS natively (but definitely not linux and an emulator), it's an Amiga.
So, if it's got an x86 MOBO, it may very well be a Miggy, but only if it's running AROS natively.