Raspberry Pi housing for IR sensor

I modified my original housing to occupy a IR receiver for our raspbmc media center. So here it is
There is also a version with a "IR tower" I never printed it becuase I decided it to be not so practical.
I've included the thing file too, including the lenses file and the housing file.
The pocket on the inside is designed to fit a TSOP4838