That class was so many careers ago. Glad you enjoyed the notes. I wonder if I taught it today: maybe I'd start by having students use a simulator, or maybe trying to write a simple simulator themselves!