I prefer the HEAD request but it's very subjective. 

IMO HEAD request is better as varnish knows we don't have any content and header are easy to manipulate through varnish.

We may however send a 204 Response instead of a 200 in case of someone wants to use a GET response instead.