Well, I may have to resign now that my in-laws have found the forum.
Yes, welcome to cruise-chat Keith!
The good news is San Miguel pier is right there in the downtown area for your shopping convenience. Now for the bad news - San Miguel pier also is the ferry boat pier, and I am reasonably sure that means the Holiday will be anchoring and tendering you to shore. I'm not sure if you tendered anywhere on your first cruise, but it adds time to getting off the ship.
However there is always the possibility the pier location may change. On two previous cruises on the Holiday, we ended up at Punta Langosta even though the schedule listed us as being at the ferry pier.