I like flatting the donk bet, then back raising. Back raising to $650 would have been prefect, *IF it worked out that the LAG flats and the donk better shoves and it opens up the betting again. But long term, I think betting $1080 or as much as you think LAG will call is more +EV.
So the pot is $3510 OTT and we have $2,500 left.
So you don't have the nuts OTT anymore. Big deal, the LAG could have so many draws; I'm betting OTT to charge all draws. The problem is how much to leave behind, because I would hate to bet $1000-$1,500 OTT leaving $1000+ behind, and allowing the LAG to keep $1000 if his draw misses, and I'd hate to fold the best hand if the flush hits OTR and hero checks and the LAG decides to bluff us. Imagine how nasty that would be to fold for $1,500 into $5,510 and have the LAG turn over 76
So I like shipping OTT, I guess we could bet $1,500 OTT then $1,000 OTR. I just think shipping is best.