まあマジレスすると、東芝が買ったのであれば「東芝Sun」などという名前にはならない。