I havent a clue if theres a special tool but what i did was I just took a zipstrip and put it around the solenoid holding it in the pressed position. problem solved!