Was Dirk's sunglasses ever given a name?

Auto Responder or Lil Hal.