That's good advice. If you want a domain, spend the $15 and get it. I can personally guarantee Hover doesn't do anything with domain search data (I'm the PM so I would know :P). GoDaddy likely doesn't either and it was probably a coincidence that it was registered around the same time.