Some experimentation with OpenTK & C#