Hier geht es zur Berechnung,wobei da mit der Stromverstärkung in Sättigung auch oft etwas schätzen dabei ist:
http://www.mikrocontroller.net/articles/Basiswiderstand#Berechnung
Aber 1k ist ein guter Anhaltswert für Basiswiderstände bei diesen niedrigen Kollektorströmen