I've heard the K1000's out of the Grace 901, the ASL OTL32, and the RKV. The Grace drives the AKG's quite well, albeit at the upper end of its limits, imo. But if you already have one, I probably wouldn't say you should look elsewhere. I like the Grace's DAC too.
The OTL32 does a really nice job, especially after doing a bit of tuberolling. I like that it connects directly (XLR), eliminating the extra cable section. Definitely the bargain of the bunch!
The RKV is still the overall winner here. Not only does it drive the K1000's with power to spare (lots of headroom here), it also tames most of their sound-related shortcomings. I'd still get an Equinox cable terminated to 1/4" anyway.