I'd talk to the Linux guy about how fun it used to be to install debian 1.1 back in 1995. And how I've still got the same /home from that install