¿Alguno tenéis experiencia en algún ampli/DAC (o solo ampli, no importa) que mueva suficientemente bien unos HD-800? Cuando hablo de portabilidad me refiero básicamente, aparte del tamaño, a la no necesidad de tenerlo enchufado a la red eléctrica (batería interna, etc)