Thinking of insulating and finishing my small shed (8x10) to use as an office. Austin, TX based, hence very hot much of the year. Would a small mini split make sense for this space (or is this a bad idea altogether?)? Seems like 6K BTUs would be overkill but what would be the alternative? Would need heat in the short winter to make it usable year round.