fudged_hotness = 10.0 * ((hotness / 10.0) ** (1 / gamma))

Then just crank up the gamma correction to 3.0, and your 3.5 out of ten is now a reasonably-attractive 7.0472987320648917 :)