@nojo: All these slight disagreements - another reason we should have a podcast.