You still have the option of pitching another yeast. I'd suggest wlp099 super high gravity yeast--it's English & tolerant to 25% in theory. Make a big starter, well aerated. Even with mashing at 155 or even 159, there's plenty of fermentable sugars left in there for a hardy yeast to chew up!
Yeah, I second that. Make a starter with a hearty yeast and pitch when the yeast is most active in the starter (~1 day).