Girdled Pipefish, Festucalex cinctus

When we finally managed to photograph some real Banded Pipefish (Corythoichthys amplexus) it then took a long time to identify these beasties correctly!
May 2019 and we learn that F. cinctus is endemic to Eastern Australia (!), so now we reckon that this is the Rock Pipefish – Phoxocampus belcheri – but we’re making sure first…