Sorry to hijack your thread.... but you did make me open the pic just after having my tea :) but is it normal to bore out the walls for incoming pipes like that? I'm needing something similar but couldn't find anything readily available, but was also concerned doing cutouts might not be reliable...