I echo the above... The Double tree is trying, but, they are not quite there. The elevators are being replaced, rooms renovated, but... HGI has free internet. And HGI has the best beds in the world (imho).
Either will do, but I will always stay at HGI if given a choice.