Bat-teK is a Carnegie Mellon + Lockheed Martin project that uses a lot of Surveyor's robotic technologies, including the YARB blimp, SVS, and SRV-1 robot, along with CMU's console applications and mapping technology. CMU produced this very cool promotional video for the project.