Great question! This is one of those projects where the homeowner did the painting themselves in order to cut costs, so we weren't involved in buying the paint. Sorry, we don't know what they chose!