My husband still has a red, somewhat sore localized lump on the 4th day after a routine tetanus booster. Should he be checked, or is this ok?