any degreaser will do..Acetone is the king if you have it..its in Nail Varnish remover..
Petrol is never a good degreaser theres oil in it. but even wd40 will do the trick !!
i don't know Mick..I was told by a scientist that petrol is nearly as oily as Diesel and leaves a residue but as we were involved in something other than cleaning bicycle bits, go on then !