If he brings in that otm strike then he's got a standard butterfly -- at least in the example we're working with, and that wouldn't work.
Option models are not perfect, but they are pretty close to it, except in certain known cases and this doesn't seem to be one of them. Recently some...