Guess so. The bike looked to be a 54 or so and he an oval yellow Mavic sticker on the top-tube near the head-tube. I think he had silver Phils on Open Pros and the front was radially laced (I think).
I left before it was over though, I really don't know.