Peppermint oil works apparently....though like you we've just had that plague (like they'd pull at the doona at night bad) and I couldn't make anything work.
I know how much they suck.

eta snap!
Oh how I wish I could unread that.