The website I posted lists all three models (Motorola manufactured) as being TO-220AB package, and not just the TIP102. Other websites also list all three as being in the same package (whether it be TO-220 or TO-220AB), as long as the manufacturer stays consistent in your search. For example, Motorola manufactured TIP102, TIP122, and 2N6045 all are TO-220AB, whereas the majority of other brands all seem to be TO-220.
So, if the stock one is a Motorola, a TIP102 that's made by Motorola should work.
EDIT: This website has a couple tables listing the differences between the TO-220 and TO-220AB.
http://64.233.167.104/search?q=cache:-UcfYi2juicJ:www.fairchildsemi.com/pcn/PCN/2004/20041802-A.rtf+to-220+variation+ab&hl=en&gl=us&ct=clnk&cd=1 
