Redmen is NEVER coming back even if the NCAA dissolves and guys like the "Fighting Sioux" of North
Dakota U. are again eligible for post season play. For the present, anyway, it is not an option.
The RedStorm is adequate but a bit of a mouthful. If anything, shrink it to StJ "storm" as some have suggested.
Most know we are red and white so the "Red" is superfluous, and all will always use the nickname Johnnies for quick reference anyway.
As for a mascot, a subject with which I am personally familiar, I don't know what you do but the bird is adequate as well; a 'bolt' would be really hard to explain and it would not get hugs from kids. The Yankees and Giants do fairly well without a clown (they don't even have one on the team....well save for Victor) and that really is NYC. Like black sneakers in Boston, plain helmets at PSU and ND, and, at least for the first 100 years, no names on our jerseys, less is quite frequently more..........more traditional and classy.
Shorten the name, dump the mascot, put a 'bolt' on the cheerleaders. and let 'er rip.