My instinct is to remove them.  I can't think of any possible way to make these specs fail while keeping the rest of the rspec-mocks suite green.