Don't forget Orange Tree Samples Evolution Rosewood Grand, a love emulation of the Yamaha C7.
Also, 8DIO has some nice pianos, I have the 1969 steinway D, which is also nice. I also use Pianoteq--the full version is more tweakable than the Player version, and the Pro version is fully editable, note by note. I have the full and I don't think it's "small" but it is a physical model rather than using recorded samples. Still quite realistic and customizable in many ways with a number of models, from Steinway, to Bluthner, to their hybrid K2, all of them very nice.
there are others, but I don't have them (yet).