Thanks. Yes, I am using Privoxy. Our folks are not at the level of knowing what Tor is, I don't think. The server was partially hijacked by someone running a sports video channel one day and in the agitated scrutiny that followed, my Tor attracted no notice. (And I am not worried about it being noticed some day anyways; it's just something I happen to already have running on the laptop when I open it up.)