Det äldre (dagens underdrift) namnet på Västerås var dock Västra Aros, med äldre stavning på "västra" förstås.

Ja, men det är ändå troligt att ännu äldre namn på platsen var enbart Aros, och att tillägget "västra" tillkom i efterhand för att särskilja från det andra Aros. Jämför med Västeråker resp Österåker, Västra Ryd resp Östra Ryd, o s v.