Hi Eddy,
Thanks for your answer.
My phone is a Xperia z3 compact, running Android 6.0.1 and anti-theft 4.2.0.8278. The exact same used to work fine before repair.
GPS is not enabled every time, but has been from time to time since reinstall.
Phone appears in my account under a default name (D5803, which is the model), with a green crest.
Thanks
Gabriel