Shorting Pippin to 0.65