Hi! Long time. I thought about this actually and also about other peaks I have surveyed over the years. The official elevations never correspond to the (D)GPS readings and the case is the same comparing summit measurements and SRTM data.
In the case of Pissis I chose to use the official altitude.