Thor better hope he pitches and extremely efficient inning here for that to happen Nah. They'll let him go 130 Yes but if the Mets got any sort of rally in the 7th his spot would come up in the order (batting 5th) and they'd likely yank him anyways
So this is one of those things where it sucks to lose but given what I've seen so far it wouldn't be overly upsetting. Hit Thor really well and Jake has looked great