I can't say I've ever seen that exact model, but those lights sure look stock to me. Hard to believe someone went to the trouble to swap them out. What makes you think they're not stock?
I found this picture on the web, they look the same to me, even though the picture doesn't have very good resolution.