How much was the student discount back then? I vaguely remember SGI coming to my University and having a complete system for like $2000 back in the day (1996 or 1997). IIRC a Pentium Pro based system would have been similarly priced.