I found that that K712 sounded thinner through the mixamp than the X1. The listening experience was bland. The SBZ headphone amp seems to correct this for me.
I have yet to try an amp to boost the mixamp. MLE's tread mentioned that Amos helped the Annies when used with the mixamp. The K712's are close enough to have the same benefit I believe.