Any significant benefit besides not having to pump for a minute or two? It'd get used like 4 times a year, and gotta take up at least 6x the space of a small cyclinder.
Might also go tubeless on the gravel bike so the tyre booster itself would come handy too.
What about a small silent compressor, some of them arent that big.