Got it, suppose being remote desktop servers there's probably not a need to go for belts and braces HPs, since at less cost you could build a redundant RD farm anyway.
On a complete tangent, just read your blog on VDI and HP's Flash write back cache
http://www.serversexpress.com/hp-534562b21.html
Is it good performance boost for Hyper-V stuff too? So the module replaces the 256mb card in the server, without the need for the battery module unit?

