Obviously, this gun will never be legally re-imported into the US, so Americans' obsession with the legalities of original serial numbers is probably of no concern to you, as long as the gun is legally registered with the number currently stamped on the gun in your country.

The original number is however the best way to positively identify and determine the age of the gun.