No, the OEM fan housing is used and bolt weren't trimmed. Here is a picture showing the concern others had mentioned about the bolt touching the charge pipe. It is poking in maybe 1 mm into the side of the silicon but I can understand how trimming the end of this bolt would make this easier. I looked into a Mishimoto slim fan shroud but decided to not proceed until trying without and it was successful so I saved myself several hundred more dollars.
Also these are still available from the AVO US online retailer, wpdusa.com for $328, but you can choose your color =)