These fish were from a farm in Mexico that still produces them. They sell for 3k-3.5k and if you want one imported its going to cost you another 2k probably.
I went over the numbers with Mike (the OP) before and he said 5k to bring in a single specimen for someone.