There's not a single one in trades or shops, and there weren't any before it retired from the ACM (at least whenever I checked). Several months of retirement later, and I'm thinking I won't see any.

So my question is: what would a good price be for trying to entice someone to sell theirs (someone must have one to sell, surely). I really want to complete my mini collection of crocodilian dolls.