Now that the Tippecanoe Library revamp is complete, attention is turning fully toward a mixed-use development that will replace the Mill Road branch. Here are some facts about the planned new library development at 7717 W. Good Hope Rd.