After much debate and second guessing, I went for a deluxe tinker over the super, and it's perfect! No issues for pocket carry at all, though I definitely wouldn't go any bigger :
Victorinox Swiss Army Deluxe Tinker, Red,One Size - Walmart.com
43 Deluxe Tinker
Victorinox Deluxe Tinker in red - 1.4723
Victorinox | Victorinox Swiss Army Knives 0.6210.86 Classic De Luxe - Brown Marbled Cloisonné
Victorinox deluxe tinker beltholder by Alaize0013 | Download free STL model | Printables.com