Quote - So ... how do you use these, where are they installed? 

They are not "installed". You save them to disk anywhere you want. In the Reality light editor you add one of those files to any light that you want to turn into the light descibed by the IES file.

Cheers.

Paolo

https://www.preta3d.com
FB: https://www.facebook.com/RealityPlugIn
Tw: @preta3d
G+: https://plus.google.com/106625816153304163119
The Reality Gallery: https://reality-plug-in.deviantart.com