> I wouldn't use GET but HEAD to avoid downloading anything (but the HTTP headers)

Good point.