A former Laramie mayor who was recently hired for a city management job has entered a lawsuit in which the city is suing a newspaper and a city councilor over their efforts to get access to the former mayor's personnel records. Now that the Wyoming Lottery Corporation has hired a CEO, the focus now moves to getting things set up to sell lottery tickets in the state.