Yes, saw her Saturday morning around 9:00. Bought a dozen of the red meat and a dozen of the green chili/cheese. Both were yummy. Totally surprised I was able to get most of them home without eating them. Price was 300 pesos for the 2 dozen, which I think is excellent. Also hit up the tortilla gal on Sinaloa by the water and ice store for 4 dozen. I would definitely go back to her for tamales.
I found her! This lady is no joke, the best tamales I've ever had. It's a total local spot, I was the only non-local both times I stopped by. She sells out early too, by 9:30 usually. The best by far was the philadelphia, so good!