I recently ordered a Bosch dryer and it is being delivered on Saturday. As my local tool shop is closed on saturday, I need to go out and buy the relevent tools for making a large hole in my wall (for the vent pipe)…
Question is – what diameter vent pipe do these machines use please? I am planning on buying a diamond hole cutter so I need to know what size I need!