first of all, thanks for the fast answers!
yeah, the fat32 partition would’ve been my best guess how to get this working
since our techie was able to get an additional hdd, this shouldn’t be an issue anymore
i’ll try it anyway and post my results here, just in case someone else might run into the same problem
thanks!
