Yes exactly. Talking about flashing only as a backup method on reverting back if ever needed.
This is Samsung official tool and ROM's, just like NSU for Nokia's and its official so in that sense has nothing to do with XDA... Except of course that XDA is the place to search things like this and instructions.
I Googled these to you now, so I hope everything is correct ones. I have everything stored in my computer already (dowloader aka flash tool, usb-driver and GDR2 + GDR3 roms).
Please note that you need a Windows 7 or earlier OS for the driver to work. Even though I read that there is a way to get it working in Windows 8 too, I wasnt able to do it. Instructions for everything is of course in XDA, so search there if you need them:
The usb-driver SamsungUSBDriver.msi: Download SAMSUNG Windows Phone 8 IO USB Driver 1.0 for Windows XP, Windows Vista, Windows XP 64 bit, Windows Vista 64 bit, Windows 7, Windows 7 64 bit, Windows 8, Windows 8 64 bit
The flash tool WP8 SMD binary USB Downloader 3.33.1: anaheiim's Space - WP8 SMD binary USB Downloader 3.33.1.zip - Tweaks Paradise
Firmware GT-I8750 XXBME1_R_signed: Welcome to the ./downloads/Samsung/Firmwares/GT-I8750/ITV/ folder of GsmHosting support area
Instructions also: Samsung Ativ S I8750 (WP8) Hard Reset tutorial, firmware and flashing guide - GSM-Forum
I was also able to find a Yandex folder that has everything, and 2 newer versions of flasher tool. This is in Russian, but I used my trashmail google account to log in and was able to download everything. This seem to have everything, the driver, flasher tools and few roms, everything in one place:
https://disk.yandex.com/public/?hash=Lls0Szojb3PhvtAa5v01UI5Sv3ogkMx+ycwSplwl+DA=
Like I said, on things like this XDA is the place to go. For downloads, instructions and help if ever needed.