Hayton has apparently looked really good, there's a good chance he makes the team. Still think it was a reach, regardless.
Lehner had a .920 in 3 of his last 4 seasons (behind some truly dogshit teams as well) and a career .918 sv%. I think anyone giving him several years wouldn't be too out of line for doing so