That is the same fish and in the Burgess guide they call it a blue dot jawfish (Opistognathus sp.?), in fishbase it is called pamamanian jawfish (O. panamaensis). A second look at the pic I posted makes me think it was freshly killed, oops.
It is definitely the same fish, your go philc!