They haven't even been simulated thoroughly. I put them together a while back, just a really quick implementation without much testing, so that I would at least have something to go out on a shuttle run if I didn't get a chance to work on them some more. I am really suspicious of the crystal model, because I had to force an initial condition on one of the components or else it would not simulate. It was really hard to find a proper crystal circuit model in any crystal manufacturer's datasheet. Originally I was not going to put these in Chipalooza but eventually it occurred to me that there are probably a number of people in the community who have some experience with crystal models and crystal oscillators and would do a much better job of it than I would.