(They were known to use Force10 switches at some point in the past: http://www.force10networks.com/company/customer_profiles/pdf...)