estoy viendolo, no estaba en el apartado de desarrollo de la galaxy tab, estaba ubicado en general :P
estoy descargando lo que pusiste y te aviso... aunque por lo que veo, es un .zip que se instala mediante el recovery stock de la tab, ya que es una OTA y no es el firmware completo, todo deduciendo por el tamaño del archivo, solo es la actualizacion, no una rom stock completa
Saludos!
EDITO: pasate por aca, actualize el hilo
http://www.htcmania.com/showthread.php?p=5568736