Hi, not sure your answer is correct. It seems that the internet is offering many ways of reprogramming IMEI numbers. When my company was purchasing phone modules for building into our alarm equipment, the module had to be programmed to change the default IMIE number as received to one from a batch of numbers we received from the approval authorities.
...even to restore to correct IMEI??