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.
"Got tight last night on absinthe and did knife tricks. Great success shooting the knife into the piano. The woodworms are so bad and eat hell out of all furniture that you can always claim the woodworms did it."