It's definitely high but if it doesn't get any higher, you can grow good plants at those temps. If you have the time and money to work on you ventilation and extraction I would definitely put in a little more work. Keeping those daytime temps in the low to mid 70's will give you tighter, denser buds. Not to mention you won't have the anxiety of being on the edge of heat stress.