"At some point in time Google Map changed the name of Cathedral Rock to Cathedral Peak and out peak was left without a name. I am not sure who or at what point in time the name of Arlington Peak was chosen for our beautiful little mountain. Even to this day, the printed maps don't show a name for Arlington Peak."
The BGN/USGS, not Google, was responsible for the naming decisions. Cathedral Peak is correctly shown on the 7.5' topo map, though the Arlington Name is missing. Still, it resides in the BGN database here. Is was officially named by the BGN in 2004. The topo map simply has not been updated since this decision was taken.