Yes, I did all that at the time, thank you. I also reported the S/N, IMEI etc., numbers to the carrier to blacklist them, so I hope if somebody found and kept it, they weren't able to use it (not as a phone anyway).
BTW, does that blacklisting work internationally?
I haven't detected any...