I too considered buying HAL4 instead, but the capability of turning down/off the damper pedal is well worth TG3 for me.
It’s true, TG3 doesn’t get near the praise it deserves, all you hear about in the forums, esp. GS, these days is Ivory. Somehow, from the Ivory samples I’ve listened to, Grand3 sounds more brilliant while Ivory is a little darker, and a bit less agressive even at the same velocities.
What amuses me is that EWQL, Native Instruments, Steinberg/Yamaha, Sampletekk, and Synthogy are all sampling those same three grands. More amusing still is that you see all these braggarts out there with all of the above (not speaking to searlstudio 
), but it would seem you would choose the best library with these pianos then move on to the other bazillion instead of buying the same product merely sampled by a different company. 