I googled that and understand where you are coming from, but there is only 1 obvious end user for this domain name - they are pretty advanced, so I guess if they wanted it, they would get it. Also not clear whether there are any TM issues, etc..I personally would not register it.