PINE GROVE CAPITAL