Note: There are hundreds of minipumps. With or without backup battery, various attachments, etc. The two below are just examples, by the time you read this article, probably obsolete example. This article will no longer be updated, unless there is really a truly revolutionary pump that is specific to the 790.

Bruce Allen on FB found the perfect mini pump that fit snuggly into the rear tool compartment in the side cover (but put it in a plastic bag, it doesn’t like water)

It’s called the MotoPressor pocket pump, comes from Australia, and can be found on various places online.

Stop & Go Tubeless Puncture Pilot Kit has been reported to fit in the side panel, with the pump under the seat.