At 17,999' I'm sure he has a turbo as there's not much air up there to run an engine. 140 gs is good but as you noted tailwind. At those elevations it's not uncommon to see 50 knot tailwinds.
It's hard to get one plane fulfill multiple missions I see.
Just wondering if there were any S7's with the same Lycoming that the Carbon Cubs are using that are tweaked to 200 hp