They are High School students, so this bug is a bit too much for them. I'd like to create future developers .. not scar them for life :-) But if you do spot any smaller, ones please do let me know.
Thanks for taking the time to look and email.
On the subject of that bug, there are some fairly major issues with it. I think people have been documenting them in a spreadsheet somewhere. But that is better discussed on its own thread.