They must be then. Just be aware the same type of fish has been turning up in the US, and on here. One thread with them for sale was deleted recently, i presume because of the Pulcher lable. They started off at about 650 dollars, but i believe they're going for about 450 now.
Enjoy your pulchers.
I haven't bought the fish yet, so you're saying those one I posted are not pulchers right?