Hello there, Can you please tell me the name/ brand of paint used on the wall and ceiling. Many thanks.