Does anyone miss the old Pepper Market at Coronado Springs besides me? The new one is plain Jane QS. We were there just 3 weeks ago with the grandsons and were rather disappointed to see it had changed. The old Pepper Market was unique in spite of the 10% gratuity.