If I understand correctlym this is the samlles Steinway vertical, a spinet, right? Even if the piano was in good condition, I think you can buy a much better instrument with $4,000. If you add a little more, you can get a good Chinese babygrand. If you dont care for that, save money and buy a good digital.
Regarding the hammers, hammers sets are cut from a single piece of wool to ensure uniformity. Replacing just a few sounds at the same level of craftmanship as tying up a knot to repair a broken string, or filling a crack in a sound board with crazyglue.
The only pianos I think receive worst abuse than college pianos are pianos in cruises.
I would stay away from this instrument.
(oh, and by the way, whether the hammers are Steinway or the cheapest made in China makes all the difference in the world. Even voicing is also crucial, but to certain point one is the consequnce of the other, and even crappy sound is just marginally better than uneven crappy sound).