GROVER — A library in the former Grover Opera House closed in 2016. Eight years later and one block east of the old opera house building on Chatoga Avenue, a work crew is preparing a new library to ...