Yeah you're right.. many things don't compute in this worldJust my honest opinion. You are mentioning the HD800 and then say that the T71 with its 300 bucks is overkill? It somehow does not compute to me.
Thats a fraction of the cost of the HD800.
I think in your case the T71 is THE way to go. Extra power is never a bad thing especially if you do-if you plan to do heavy processing in the low end which eats up
power headroom pretty fast. It makes no sense to be listening to highly dynamic music as you say, using some of the best headphones and then choose the weaker amplifier.
My two cents. Go for the one with more driving reserves

Actually just earlier today I was considering getting the Qudelix T71 but then just before buying it I realized it doesn't even have bluetooth capabilities. I live in Italy and this Qudelix T71 is unreasonably priced on Amazon, at 340 euro. So it might be more sensible to buy the FIIO BR17 at this point, good power, nice design and bluetooth capabilities too. And I can get it at around 200 euro. I might give it a try and see if I can cope with its more primitive EQ interface. Are there other devices that might be worth considering in the category of FIIO BRT17? Thank you all.