87 y 88 ¿Oficiales?, ¿seguro? No encuentro que operadores las lanzaron para la Storm Oficialmente. :D
Aquí los link que publique en su día:
http://www.miblackberry.com/2009/01/19/actualizacion-del-sistema-operativo-para-la-blackberry-storm-9500-parte-ix.html
http://www.miblackberry.com/2009/01/16/actualizacion-del-sistema-operativo-para-la-blackberry-storm-9500-parte-vii-2.html