Has anyone ever painted their ceiling? If so, what type paint did you use? The ceiling in our trailer has yellow marks and very obvious touch up places where it is stapled. Just wondering what would be the best way to give it an even look. Wouldn't be against painting the whole ceiling but would like to know what type of paint would be best to use.