Does the VA hospital use a specific vendor on their networking hardware?

I don't know if I'm even asking the right place but would anyone have an idea if they use a specific vendor?