has anyone ever stayed at either of these two hotels? I found great reviews on both. The price is more economic with palococo. I looked up the residence del mar website and I called the number listed, but its a wrong number. Any info on either one would be greatly appreciated.