@KevinB I have seen these occasionally in the past, I don't know if they currently have any. They used to be together with the Coris julis in the Mediterranean tank. I saw them in the bigger tank too, together with the morays and spider crabs, but it's been some years.
@Sicarius According to ZTL they were present in October of 2022. I don't personally remember seeing a fish resembling your photo, but maybe I wasn't paying enough attention.