I would wait to see how the snake is after shed, and if you see symptoms of an RI find another qualified exotic vet and get a culture done (be prepared to spend a pretty penny on this, but it will be worth it for the overall well being of the snake and any others you might have).