I think single vs. double wouldn't technically buy us anything here since, at least in this case, the characters following the backslashes wouldn't be escaped anyway (no \n, \r, \0, \", etc.).  That said, it does make me "feel" better about dropping the extra backslashes.