I like every option except #3.
I don't love having him on the team but it's one more season and then the cap hit is gone. I don't care about the actual salary, I care about the cap hit and don't want it carrying over to next season (when Eichel's big deal and likely Reino's medium size deal kicks in). In the interim, if he's playing where he should be, on the third pair, I am fine for one more season. At worst, it gives Guhle time to develop in Rochester if needed.