I think it is a splendid idea to install linux  on my box there! We should
make a sign announcing our intentions to do this. How long do you all think
it would take? I would say we should plan to do it at 2:30 and people can
come around and watch.