It's pretty much covered in this thread -
http://fefcholden.org.au/forum/index.php/topic,14412.0.htmlJust keep in mind that there is nothing really supporting the rooflining and it would be very easy to rip the stitching, especially if the car has had a hard life.
The abrasive cleaners would require some sort of elbow grease to work effectively, an alternative would be White Spirits from a hardware store. This is essentially the stuff they use for Dry Cleaning and seem to remove most marks from modern vinyl. Try it on a test patch first though.
