Techniques, computations, and conjectures for semi-topological K-theory