We were at the International Pier. A little ways south is/was the Puerta Maya pier which was completely destroyed. Is that the one you recall? There is also a third pier downtown which was heavily damaged. I think Puerta Maya got nailed the worst. The damage was really impressive, wasn't it? It proves the force of an ocean unleashed by a storm.