I think something is getting lost here. There are 2 types of rivets, pop and buck. Boubou, you seem to be going back and forth and possibly confusing the two.
You mention avoiding the Olympic rivets, those are pop rivets that are primarily used to replace exterior bucked rivets. They then get shaved to make them look like bucked rivets. The only thing you can avoid those with on the exterior is with new bucked rivets. Bucking new rivets is preferred if you have access to the back of the exterior skins. The process requires completely different rivet gun, a pneumatic bucking rivet gun with appropriate rivet set and bucking bar for solid rivets.
The interior rivets are basic 1/8" pop rivets. Those can be installed with the guns you were looking at in the catalog you linked. But those are not really necessary. I popped well over 1000 new rivets when I replaced all the interior skins in my trailer using a basic manual squeeze pop rivet gun.
There should be no need to go trying to replace all the exterior rivets, you'd just be creating a lot of work and probably end up doing more damage than any positive value added.
The original exterior rivets are 1/8" brazier head aluminum solid buck rivets. When replacing them you drill the hole to 5/32" to get a clean round hole and replace them with 5/32" modified brazier head rivets.
Vintage trailer supply has a good rivet section, you can look at the buck and pop rivet sections to get a little more info on them;