Why is he not neutered? That would likely stop the "humping" and curb the aggression as well. Has she done any training with him?