Deve,

How do you know the springs were dealer installed?

There was also an RPO (unless we are referring to different things)?