Marti - it sounds as if they are, at least, aware of HVX. The one thing I wonder about is how long they have had the plants that they taking divisions from to sell. If they were acquired in the couple of years and they bought from a good source, they are probably fine. But if they were acquired 2005-2006, I think that was the height of nurseries getting plants they didn't know were diseased. If that happened, they could have made divisions and further infected other plants in their stock.
Bottom line, it's still a good idea to treat each new acquisition as potentially infected and sterilize your tools (including hands) well between plants.
Ann