Should A Pediatrician Be Consulted For Ceramic Dust Exposure In Children?

My husband was unaware of the importance of wet cutting ceramic tile, and he cut for about 10 minutes this afternoon in our kitchen while altering an existing countertop. My kids and I were in another room in the back of the house with the door closed. But it quickly became obvious the dust wasn t being contained as it was hazy throughout the house. He stopped cutting and we opened all the doors and windows and turned fans on. Now I am worried about my 9 month old and 3 year old. They are behaving fine (no cough, etc.), but should I be concerned or see their pediatrician about this? Thank you.