Having lost my Nexus 9 last week, I reported it to police who say they need the serial number, a reasonable request, but I hadn't gone through any steps to record it as I have never had this happen before. Does Google record this information when it seems to get "registered" to my Google account? I can't seem to find a place on their support website to ask this question.