As someone who has almost snagged that M9 a few times, it would be my choice of what you listed. The AR9.5 I own keeps me from buying it, maybe just keep your cash on the ready for one to show up?

I just picked up a sawmandu and another is on the exchange, what a sweet blade. It is so light and fast for its size, gonna put it to the test come spring time. The argument of beating up a baton with the teeth doesnt matter to me, I find/make a new one every time I am in the woods.

Happy hunting!