I did receive a PM saying:
Thank you
and when I replied saying that I hadn't received the coins, I received this:
If the coins arrive, I'll edit this post accordingly. Until then, beware!
Edit: AM sent me this picture of his MtGox account, which seems to show that he did ask them to send me the coins:
Edit2: the coins had arrived when I woke up Sunday morning. I guess MtGox is very slow sending out BTC withdrawals for some reason. I hadn't heard about that before. It looks like it took about 5 hours between AM asking Gox to send me the BTC and Gox actually sending them.