Nope, just run of the mill Dell rack servers, and hence the confusion as to why the NICs are Cisco OEM rather than Dell OEM.

I believe it was the MBA block of firmware that refused to flash.
In essence long term we need to either get the Cisco package, or get the cards replaced with Dell cards.