I was browsing TFD's stocklist and they have listed on there: "Stingray, Hystrix (Colombia) 4-5" for $80. I was always under the impression that true Hystrix were from Brazil and that is why they are so hard to come by. Are these guys exported from Colombia as well? I just want to make sure it is a true Hystrix before I pick up a few.