Have not been to P.A. for 3 yrs coming back in Jan. wondering what's new. Did a new eatery replace Wahoo Wacko next to Gringo Dave's?? Is Gringo Dave'sstill open? Just curious. Anxious to get back to my Favorite place to chill out for 2 wks of fun in the sun.