In Tyler for a few days of work. What is there for a bored guy to do here?