Acetone, scrubbed into the glue with a wire brush should get the glue off. As an antiseptic, 7% vinegar (pickling vinegar) applied liberally on the scrubbed areas, should prevent most infections. Repeat as neccessary, or until they choose not to do such asinine things.
😜