Hot Stuff comics

Was it just my youthful imagination, or was there really a Hot Stuff comic (early 70’s). I believe it was a Harvey comic. THe star was a little devil, red, horns and pointy tail. THere was even plenty of comic cussing (*$#!! kind of stuff).

In todays pc world this kind of stuff would never be published for kids. Was it for real. Any web stuff on it?