someone called today asking to have the rocks around there pond power washed to clean them. has anyone ever attempted this before?