Hi Michael,

its not a big deal at all, like you say its just dividing by 1000, so its trivial to do even without a calculator.

thanks,
Dinos