A good idea would be to register your own name IF YOU CARE, or to forget it if you don't.
Not likely that he will develop a SITE on the domain and so
SEO for it so it would show up in Google so basically nobody will know about it, and if you didn't care to register it before - why do you care now?
And as suggested - register it next year when it expires.