Hey guys, I mainly softwash vinyl siding as an add on, however, a friend wants to do a service trade to clean his building. It is a very dark gray painted brick. Mainly dirt from the busy road it's on. Will a house wash mix do the trick? Thanks!