If you had only a Total Bithead amp (and budget) to power them, which of these headphones would you reccomend: Sennheiser HD 595, Denon AH-D1001K, Denon-AHD2000, or AKG K 701? I understand which are the better headphones, but was wondering if the Bithead can adequately power all of them or...