Text this: First Order Theories of Some Lattices of Open Sets