The old playhouse occupied by Key City Public Theater (link: httpss://keycitypublictheatre.org/) in downtown Port Townsend had some serious comfort issues, particularly on hot summer days.