This is interesting, keeping in mind that the value of.the shares depend on the value of btcat given time
Nevermind, I've opted to do other things. Firstly, as Pzi4nk pointed out, AM has such huge upsides that any such put option would have to be ridiculously one-sided to make it worth it. I did the same math(after I posted) and realized no one would do this, especially not with nearly a million dollars.
Secondly, no one responded, which wasn't surprising. So this thread can be closed.