I think some of the guys in this forum were able to source it from the U.S. although it cost more at about US$150. Traffic here has been getting worst by the year. More people have cars here now but not enough driving discipline. And the weather here has just been crazy for the past couple of months.
My japanese cars have all been no problems during the hot afternoons. It was just my benz which was giving me worries but after the tropical clutch, its been perfect. It should work pretty well for the hot days in Texas.