how much do those diamond lion fishes go for?