LOL, given how those organizations work they wouldn't do the "repair" they would ask Apple to install it for them.

I'm sure they already did that assuming they don't have better ways.