I have the 32 Ohm version of the DT880. How would these compare? I initially bought them with the intention of using them with all sorts of devices but ended up always using them with my AV Receiver. Additionally, to complicate my choice, I have the Pioneer VSX-919 AV Receiver and I have NO idea what impedance headphones it is capable of driving.