Pipefish ID

[hotelbravo]

I have two different kinds of pipefish both locally caught in the florida panhandle area. They have been in my macro algae tank for several months now both are doing really well but i have been wondering which kind they are if anyone knows

 

[Bret61081]

I think the first is a gulf pipefish and the 2nd is a dusky pipe...I may be wrong on the common names....but they are both local here in FL