Playing with SpecDriver