@subsection[Getting Help]

If you have problems getting your MicroVax going,
you can get help from the droogs.
(The droogs are students who work for Alix Vasilatos.)
Report any hardware problems to the Athena Hotline.