What is the abbreviation for Redstone arsenal?

Looking for the shorthand of Redstone arsenal or how to abbreviate it? We have 2 shorthands for Redstone arsenal.