For 4k and so not to have to fuck about swapping for bigger unit, go straight for a 21k BTU aircon, they are gonna generate alot of heat. Cool tubes will be a must in the summer months. You wil need taht heat in the winter months so get yourself a fan controller to adjust extraction rates throughout the year.