IS01のユーザーエージェント？

IS01と見られるユーザーエージェントを見かけました。

Mozilla/5.0 (Linux; U; Android 1.6; ja-jp; IS01 Build/R4232) AppleWebKit/528.5+ (KHTML, like Gecko) Version/3.1.2 Mobile Safari/525.20.1

E30HTと違い、KDDI特有のデバイスIDではなく機種名がユーザーエージェントに含まれるのでしょうか？

＜参考＞E30HTのユーザーエージェント

Mozilla/4.0 (compatible; MSIE 6.0; Windows CE; IEMobile 7.11) KDDI-HT01
Mozilla/4.0 (compatible; MSIE6.0; KDDI-HT01) Opera 9.5 [ja]