Is it dry at the moment?
If not, then pat it with absorbent cloth and wait until it's dry. Once dry, I would suggest some diluted All Purpose Cleaner applied to the area and agitated with some form of upholstery brush. Repeating the process may be necessary.
May as well do the whole headlining! Best give it a vacuum first.
If you're available on Saturday or Sunday then you could bring the car round to my place and we'll try and remedy it. I've got all the necessary tools and chems. If interested then PM me. I'm just by Polmont.
JOHN:icon_thumright: