try high velocity ducted ac, via heat pump. the ducts are 1.5 inch diameter flexible insulated pipes. Alternatively, ductless AC (minisplit) via heat pump. That said, whole house fan is nice.