Yes, that is also my understanding. But some local people do call it Steam Mill Peak (erroneously in my opinion). A prominent SP member told me it should be called that and the point labeld "Steam Mill Peak" on the map is mislabeled. The last statment of my intro section identifies the different thoughts, but states the name I believe correct is Pika Peak.
"After the first glass, you see things as you wish they were. After the second, you see things as they are not. Finally, you see things as they really are, which is the most horrible thing in the world."
--Oscar Wilde on Absinthe