Free downloads – TrueType core fonts for the Web: well, actually, no, it’s not, anymore.
Which is messed up. I was reluctant to start using Microsoft’s fonts in page design, but they are excellent fonts. Now, years later, yank! Don’t bruise your ass in the fall!
I suppose that it’s possible they might have some replacement in the kitchen. But someone’s boss instructed them to fix the site so it reads as it does today.