I've seen one Armatus in an LFS in FL, he was about 12" and $500. I guess since nobody gets Armatus anywhere here, they like to over-price their fish. Apparently they were shipping him to somebody, but the buyer backed off, they were stuck with a foot long Armatus in a 30g holding tank.