Can you download specific files for Arduino?

My antivirus deleted arduino-builder and I can't seem to get it back through means that I've been used to. Before I just re-install Arduino, is there a way to download specific files - such as arduino-builder - or is reinstalling just easier?

Usually you would add the install locations to the AV’s exclusions / whitelist before a re-install.

Sometimes it may also be useful to clean up before a re-install.
Help attached for that.
It also has the possible locations listed that may need to be whitelisted.
Some may not be used (win based)

CLEAN UP BEFORE INSTALLING ANOTHER COPY OF THE IDE OR ARDUINO CREATE.pdf (347 KB)

That was the first thing that I went to do, unfortunately, my VA "can't restore" arduinio-builder somehow. Thanks for the tip on re-installing though.

Will try to add the folder location as an exception this time.