While Pinnacle Entertainment intended to replace it with a $1.