Apologies, I'm sure this is on the forum somewhere.
Arriving in Lagos in early September ( saturday ). May miss the shops for basics etc.. Does Pingo Doce open on Sundays ?
I'm fairly sure the shop/market on the promenade opens every day of the week, if im stuck for early holiday essentials.