What should my friend do to avoid issues re-entering Thailand after traveling to Hong Kong while waiting for her Non Imm B visa?

I have a very specific situation here and hoping somebody can weigh in on the situation...

I posted a few days ago about my friend changing her TV into a Non Imm B visa. She must go pick up her Non Imm B visa on July 30th. She also has a trip booked to go to Hong Kong tomorrow. While in Hua-Hin she went to immigration to purchase a re-entry permit, and they told her that because she was on a 30 day extension from her original 60 day TV, she couldn't get a re-entry permit. Now back in Ratchaburi, she asked immigration here and they insisted that she can indeed travel to Hong Kong with a re-entry permit as long as she comes back before July 30, when her TV 30 day extension runs out. They gave her a re-entry permit and stamped her passport with the stamps in the photo. The thing is, she doesn't have a Non Imm B visa in her passport yet, it will be put in after she comes back (still under the 14 day consideration period at the moment), but the re-entry stamp mentions a Non Imm B. What are the chances that she'll have issues when trying to re-enter? It would be a shame if she lost progress on changing her tourist to Non Imm B visa...