I mean, that seems like overkill. I'd have advised a quick DOM edit (or an Adblock rule if he's planning on perusing that site often)