Wow, I actually remembered both of those tidbits, in fact several of my very early Ponce postcards of the light say that it was called Mosquito Inlet Lighthouse in the beginning..