These are perhaps my favorite fish. I know that they are typically from Hawaii, but the range appears to be all the way into the Coral Sea and Indo. Has anybody seen these on stock lists? I have not seen one since the Hawaii ban. I do not expect super health ones for cheap like when Hawaii was open, but I would just like to get one of them.