Ban was overturned but there is still a stay order so nothing has changed. Nothing from hawaii is shipped to USA (mainland) as of now. What you are seeing at Petco is a Sri Lankan spotted kole tang not the normal kole that has lines rather than dots.
There are 3 cousins of this fish and they all look alike expect for minor difference.
I was wrong. Petco was not selling truncatus. You’re right - that fish at Petco was exactly the same as the spotted Kole in the picture, down to the reddish ventral fins. I didn’t even know the spotted Kole existed! Thanks for the clarification.
That's still a very good price for that fish. I usually see them around $150 or so. If it's healthy and eating well I would move on it. Most of the ones I've seen are clearly labeled African Kole.