Radar Gun at PAO?

This morning as I was slowly taxing back to Tango parking I noticed someone pointing what looked like a Radar Gun at me. She was standing near the WVFC maintenance hangar. I waved and she smiled and waved back. As I went by it sure look like it was some sort of Radar gun. Unfortunately she was gone by the time I had secured the plane and walked back so I couldn't ask her what it was. Anyone else see something like this at PAO?