It's d&eacute;j&agrave; vu all over again for Hayden Penn. He is out of options.<p/> Only this time, having experienced the same uncertainty before, Penn isn't losing sleep. If the Marlins can't find room for him on their 25-man roster, they will trade him or put him on waivers.