Well -Sophie is your cat and so you ultimately you should decide how she gets handled. Guys are rougher by nature and play harder so I can understand why you were upset.
But I wouldn't worry about it too much - it seems that Sophie didn't really mind!
If you watch cats (who are siblings or friends) play, they get ROUGH with each other at times but rarely hurt each other. They just get their aggresion out and move on!!
I play rough sometimes with Mishka on purpose - he loves it (he pretends to get really mad at me but never a bite or a scratch) and then sleeps through the night without jumping on my head...