I know the torx bolts on the thermostat housings are a pain on the S40s and should be replaced with Allen type or similar head bolts. Does anybody know what size bolts to replace the pesky torks?

I know the ones on my new to me 2002 S40 turbo and galled to hell and I got a new thermostat and temp sensor I would like to put in.

Thanks in advance guys!!!!!!