A conversion to LED lighting throughout the building has substantial benefits and a short cost recovery