I never heard of the 72 virgins being the result of a mistranslation. I did find out from a Muslim-born (but no longer practicing) classmate from my college years that Muslim paradise is different for men and women. Men get virgins to boink, women apparently get their own grand house, sometimes also land and servants. Kinda telling of the cultural beliefs about what matters to men and women based on that--men wanna get their dicks wet, women just want to keep house.