I'm using the iBasso D6 w/ the PRO900's and love the combo (for certain types of music). The DAC sounds much better than the regular PC out, you can hear a real difference. The difference between iPod Touch 4G -> LOD -> D6 vs iPod Touch alone is not that substantial as far as volume is concerned (they are pretty easy to drive). But I definitely prefer using the D6. So far the changes I've noticed is that it makes the low notes sound a lot better, bringing out the strength of these phones (very tight and clear bass). Dubstep sounds awesome with this combo, granted the source files are good.
I picked the D6 because the 12.6V Li polymer rechargeable battery has more juice than a 9V, and I wanted something that would be able to power higher impedance phones, in case I decide to purchase something different down the line. Charge lasts for a very, very long time. All in all, I'm pretty happy with my iBasso purchase.