Rob,
we did get pictures of the mural, but they were just digital pictures. a bunch of 1's and 0's that represented different colored dots that made a picture on the screen. but, to print that we would need vector art (or something like that) which is lines instead of pixels. so, we made our own thing (look at the buttons).
as for the robot name, El Toro is kinda obvious. i don't like it, but no one listens to me
. i say next year we go for whisper, but no one would understand that...