Prusa Mk3s nozzle size

I have a Prusa Mk3s which I understand has a standard nozzle size of 0.4mm. I note that the Alioth hull sections require a 0.8mm nozzle size, however this will require a significant and expensive upgrade to my printer. Is also note that the hull sections are supplied as GCode only rather than STL files, so I'm assuming I can't adapt the parts myself to suit my printer using Prusa Slicer.

Is it possible to get GCode files for the hull sections for 0.4mm nozzles?