I'll guess we should try to add that grain effect with shaders and not adding it over the texture itself. Else editing the texture later (if it will be required at some point) will become much harder.