Thanks for the query to H.C.M. Forum .
he was right according to you and reports.
Two possibilities are there,
May inhaled some foreign particle (s) during lithotripsy procedure.
May got some allergy
due to this procedure by any drugs . Bronchoscopy
will reveal something in lungs . Consult a Pulmonologist
and get his opinion.
In such type of few cases bronchodilators helps, so get it.